Optimal Infinite Runs in One-Clock Priced Timed Automata

Alexandre David, Daniel Ejsing-Duun, Lisa Fontani, Kim Guldstrand Larsen, Vasile Popescu, Jacob Haubach Smedegård

Research output: Contribution to conference without publisher/journalPaper without publisher/journalResearchpeer-review

Fingerprint

Dive into the research topics of 'Optimal Infinite Runs in One-Clock Priced Timed Automata'. Together they form a unique fingerprint.

Mathematics

Computer Science