Learning-based compositional verification for synchronous probabilistic systems

DOI10.1007/978-3-642-24372-1_40MaRDI QIDQ3172942zbMATH OpenOpenAlexFDO

Authors

Publication date 7 October 2011

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/hal-00647061/file/atva11.pdf

Mathematics Subject Classification ID

Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) 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

• Leveraging weighted automata in compositional reasoning about concurrent probabilistic systems
• Assume-guarantee verification for probabilistic systems
• Computer Aided Verification
• scientific article; zbMATH DE number 1956591
• Compositional probabilistic verification through multi-objective model checking

Cited in

(17)

• Learning deterministic probabilistic automata from a model checking perspective
• \(L^\ast\)-based learning of Markov decision processes (extended version)
• Probabilistic black-box reachability checking (extended version)
• When are emptiness and containment decidable for probabilistic automata?
• Learning probabilistic systems from tree samples
• Compositional reasoning
• Assume-guarantee verification for probabilistic systems
• Compositional probabilistic verification through multi-objective model checking
• A Proof System for Compositional Verification of Probabilistic Concurrent Processes
• Abstraction and learning for infinite-state compositional verification
• When is containment decidable for probabilistic automata?
• Learning-based compositional parameter synthesis for event-recording automata
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• Abstraction-Refinement for Hierarchical Probabilistic Models
• A Context-Free Symbiosis of Runtime Verification and Automata Learning
• Compositional automata learning of synchronous systems
• L^*-based learning of Markov decision processes

This page was built for publication: Learning-based compositional verification for synchronous probabilistic systems

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