Modal logics for timed control

Patricia Bouyer, Franck Cassez, François Laroussinie

Research output: Contribution to journalConference paperpeer-review

6 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Modal logics for timed control'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science