Parker, David
11722  Ergebnisse:
Personensuche X
?
1

Distributional Probabilistic Model Checking:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Elsayed-Aly, Ingy ; Parker, David ; Feng, Lu - p. 57-75 , 2024
 
?
7

Using Reed-Muller Codes for Classification with Rejection a..:

, In: Foundations and Practice of Security; Lecture Notes in Computer Science,
Fentham, Daniel ; Parker, David ; Ryan, Mark - p. 36-52 , 2024
 
?
 
1-15