Publications



Linear dynamical systems

Timed automata and Metric Temporal Logic

Software model checking (and related work)

Probabilistic systems

Infinite-state systems

Timed CSP

Miscellaneous


Back to Joël Ouaknine's home page