Expertises
Computer Science
- Timed Automaton
- Transition System
- Input/Output
Mathematics
- Corner Point
- Edge
- Finite Graph
- Optimality Criterion
- Wide Class
Organisaties
Publicaties
2024
Measured Causes: Adding Time and Probability to True Concurrency: Ten Papers with Pisa and Twente (2024)In Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III (pp. 297-308) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 15262 LNCS). Springer. Brinksma, E., Langerak, R., Latella, D. & Massink, M.https://doi.org/10.1007/978-3-031-75778-5_14
Scan de QR-code of