Shrinking timed automata

DOI10.4230/LIPICS.FSTTCS.2011.90MaRDI QIDQ2911615zbMATH OpenOpenAlexFDO

Authors Ocan Sankur, Patricia Bouyer, Nicolas Markey

Publication date 31 August 2012

Full work available at URL http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2011.90

zbMATH Keywords

robustnesstimed automataimplementability

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Shrinking timed automata
• Shrinking of time Petri nets
• SHRINKING RESTARTING AUTOMATA
• Mathematical Foundations of Computer Science 2005
• Fundamentals of Computation Theory
• scientific article; zbMATH DE number 2102690
• scientific article; zbMATH DE number 6300098
• scientific article; zbMATH DE number 1507209
• Timed automata

Cited in

(7)

• scientific article; zbMATH DE number 7577576 (Why is no real title available?)
• Formal Modeling and Analysis of Timed Systems
• Robust model-checking of timed automata via pumping in channel machines
• Language preservation problems in parametric timed automata
• Shrinking timed automata
• Robust reachability in timed automata and games: a game-based approach
• Robust synthesis for real-time systems

This page was built for publication: Shrinking timed automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2911615)