Modal specifications for probabilistic timed systems

MaRDI QIDQ4992525zbMATH OpenFDO

Authors Tingting Han, Christian Krause, Marta Kwiatkowska, Holger Giese

Publication date 9 June 2021

Full work available at URL https://arxiv.org/abs/1306.2695, http://eptcs.web.cse.unsw.edu.au/paper.cgi?QAPL2013.5

Mathematics Subject Classification ID

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

Recommendations

• Modal event-clock specifications for timed component-based design
• Refinement and Consistency of Timed Modal Specifications
• Quantitative Modal Transition Systems
• Abstract probabilistic automata
• Abstract probabilistic automata

Cited in

(3)

• Dual-priced modal transition systems with time durations
• Modal event-clock specifications for timed component-based design
• Refinement and Consistency of Timed Modal Specifications

This page was built for publication: Modal specifications for probabilistic timed systems

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