scientific article; zbMATH DE number 2085321
From MaRDI portal
Publication:4736580
zbMath1044.93518MaRDI QIDQ4736580
Franck Cassez, Thomas A. Henzinger, Jean-François Raskin
Publication date: 9 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2289/22890134.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items (12)
Robust Model-Checking of Timed Automata via Pumping in Channel Machines ⋮ Robust parametric reachability for timed automata ⋮ Shrinking timed automata ⋮ A survey of timed automata for the development of real-time systems ⋮ Supervisory control and reactive synthesis: a comparative introduction ⋮ Specifications for decidable hybrid games ⋮ Robust reachability in timed automata and games: a game-based approach ⋮ Timed modal logics for real-time systems. Specification, verification and control ⋮ Robust Analysis of Timed Automata Via Channel Machines ⋮ STORMED Hybrid Games ⋮ Timed Automata Can Always Be Made Implementable ⋮ Robust safety of timed automata
This page was built for publication:
