scientific article; zbMATH DE number 1304998
From MaRDI portal
Publication:4251920
zbMath0933.94045MaRDI QIDQ4251920
Amir Pnueli, Oded Maler, Eugene Asarin
Publication date: 23 September 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (19)
Tweaking the odds in probabilistic timed automata ⋮ A note on the verification of automata specifications of probabilistic real-time systems ⋮ Thin and Thick Timed Regular Languages ⋮ Model Checking Real-Time Systems ⋮ Shrinking timed automata ⋮ Volume and Entropy of Regular Timed Languages: Discretization Approach ⋮ Performance analysis of probabilistic timed automata using digital clocks ⋮ Weak bisimulation for probabilistic timed automata ⋮ A survey of timed automata for the development of real-time systems ⋮ Temporal Robustness of Stochastic Signals ⋮ Specifications for decidable hybrid games ⋮ Parameter synthesis for hierarchical concurrent real-time systems ⋮ Model checking for probabilistic timed automata ⋮ Improvements for the Symbolic Verification of Timed Automata ⋮ Timed Automata Can Always Be Made Implementable ⋮ Robust safety of timed automata ⋮ Verification of Asynchronous Circuits using Timed Automata ⋮ Timed CSP = Closed Timed Automata1 ⋮ Entropy of regular timed languages
This page was built for publication:
