An extension of the inverse method to probabilistic timed automata

DOI10.1007/S10703-012-0169-XMaRDI QIDQ2248053zbMATH OpenOpenAlexFDO

Authors Étienne André, Laurent Fribourg, Jeremy Sproston

Publication date 30 June 2014

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10703-012-0169-x

zbMATH Keywords

parametric timed automataprobabilistic model checking

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• Tweaking the odds in probabilistic timed automata
• AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA
• Parameter synthesis for probabilistic timed automata using stochastic game abstractions
• Parameter synthesis for probabilistic timed automata using stochastic game abstractions
• Model checking for probabilistic timed automata

Cites work

• A theory of timed automata
• An extension of the inverse method to probabilistic timed automata
• AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA
• Automatic verification of real-time systems with discrete probability distributions.
• Behavioral cartography of timed automata
• scientific article; zbMATH DE number 3543391 (Why is no real title available?)
• scientific article; zbMATH DE number 2090709 (Why is no real title available?)
• Linear parametric model checking of timed automata
• Parametric probabilistic transition systems for system design and analysis
• Parametric real-time reasoning
• Performance analysis of probabilistic timed automata using digital clocks
• Probabilistic model checking of deadline properties in the IEEE 1394 fireWire root contention protocol
• Stochastic games for verification of probabilistic timed automata
• Symbolic model checking for probabilistic timed automata
• Theoretical Aspects of Computing - ICTAC 2004

Cited in

(10)

• An extension of the inverse method to probabilistic timed automata
• Model checking for probabilistic timed automata
• Consistency in parametric interval probabilistic timed automata
• Parameter synthesis for probabilistic timed automata using stochastic game abstractions
• Parameter synthesis for probabilistic timed automata using stochastic game abstractions
• Behavioral cartography of timed automata
• AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA
• An inverse method for parametric timed automata
• Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties
• Tweaking the odds in probabilistic timed automata

Describes a project that uses

Uses Software

• IMITATOR
• PRISM

This page was built for publication: An extension of the inverse method to probabilistic timed automata

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