Safraless Procedures for Timed Specifications

DOI10.1007/978-3-642-15297-9_2zbMath1290.68070OpenAlexW1529977153MaRDI QIDQ3588081

Nathalie Sznajder, Gilles Geeraerts, Barbara Di Giampaolo, Jean-François Raskin

Publication date: 10 September 2010

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

Full work available at URL: https://doi.org/10.1007/978-3-642-15297-9_2

Mathematics Subject Classification ID

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

Related Items (4)

From LTL to deterministic automata. A safraless compositional approach ⋮ Event Clock Automata: From Theory to Practice ⋮ On regions and zones for event-clock automata ⋮ Efficient controller synthesis for a fragment of \(\mathrm{MTL}_{0,\infty}\)

This page was built for publication: Safraless Procedures for Timed Specifications