Probabilistic Automata for Safety LTL Specifications

DOI10.1007/978-3-642-54013-4_7zbMath1428.68186OpenAlexW150638108MaRDI QIDQ2938064

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

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

Related Items (1)

Complexity of model checking MDPs against LTL specifications

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