Probabilistic Automata for Safety LTL Specifications

DOI10.1007/978-3-642-54013-4_7MaRDI QIDQ2938064zbMATH OpenOpenAlexFDO

Authors Dileep Kini, Mahesh Viswanathan

Publication date 13 January 2015

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-54013-4_7

Mathematics Subject Classification ID

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

Recommendations

• An optimal automata approach to LTL model checking of probabilistic systems
• scientific article; zbMATH DE number 7455747
• scientific article; zbMATH DE number 3862442
• scientific article; zbMATH DE number 3854424
• Probabilistic and Topological Semantics for Timed Automata
• scientific article; zbMATH DE number 1754609
• Model checking for probabilistic timed automata
• Probabilistic automata and probabilistic logic

Cited in

(5)

• A compositional hierarchical monitoring automaton construction for LTL
• An optimal automata approach to LTL model checking of probabilistic systems
• On the expressiveness and complexity of randomization in finite state monitors
• scientific article; zbMATH DE number 7455747 (Why is no real title available?)
• Complexity of model checking MDPs against LTL specifications

This page was built for publication: Probabilistic Automata for Safety LTL Specifications

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