Parking Can Get You There Faster

DOI10.1016/S1571-0661(04)80477-8zbMath1270.68173MaRDI QIDQ2842586

M. Oliver Möller

Publication date: 15 August 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• Kronos
• HyTech
• Uppaal

Cites Work

• The algorithmic analysis of hybrid systems
• Model-checking in dense real-time
• A theory of timed automata
• HyTech: A model checker for hybrid systems
• Kronos: A verification tool for real-time systems
• Uppaal in a nutshell
• Unnamed Item

This page was built for publication: Parking Can Get You There Faster