Model checking weighted integer reset timed automata

DOI10.1007/s00224-010-9253-zzbMath1217.68139OpenAlexW2064829087MaRDI QIDQ537908

Lakshmi Manasa, Shankara Narayanan Krishna, Chinmay Jain

Publication date: 23 May 2011

Published in: Theory of Computing Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00224-010-9253-z

zbMATH Keywords

model checkingclock reductioninteger resetsweighted CTLweighted timed automata

Mathematics Subject Classification ID

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

Related Items (2)

A survey of timed automata for the development of real-time systems ⋮ Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata

Uses Software

• Kronos

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Model-checking in dense real-time
• Improved undecidability results on weighted timed automata
• Event-clock automata: a determinizable class of timed automata
• A theory of timed automata
• Timed automata and additive clock constraints
• Updatable timed automata
• On model-checking timed automata with stopwatch observers
• Updatable Timed Automata with Additive and Diagonal Constraints
• Model Checking One-clock Priced Timed Automata
• Timed Automata with Integer Resets: Language Inclusion and Expressiveness
• Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions
• When Are Timed Automata Determinizable?
• On the power of non-observable actions in timed automata
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Hybrid Systems: Computation and Control
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science

This page was built for publication: Model checking weighted integer reset timed automata