Martin Zimmermann
1606  results:
Search for persons X
?
4

Robust probabilistic temporal logics:

Zimmermann, Martin
Information Processing Letters.  188 (2025)  - p. 106522 , 2025
 
?
6

The complexity of evaluating nfer:

Kauffman, Sean ; Zimmermann, Martin
Science of Computer Programming.  231 (2024)  - p. 103012 , 2024
 
?
 
?
9

Robust computation tree logic:

Nayak, Satya Prakash ; Neider, Daniel ; Roy, Rajarshi.
Innovations in Systems and Software Engineering.  , 2024
 
1-15