Abstract probabilistic automata

DOI10.1016/J.IC.2013.10.002MaRDI QIDQ386011zbMATH OpenOpenAlexWikidataFDO

Authors Benoît Delahaye, Joost-Pieter Katoen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wąsowski, Kim G. Larsen

Publication date 13 December 2013

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ic.2013.10.002

zbMATH Keywords

probabilistic automataabstractionspecificationcompositional reasoninginterface automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• Abstract probabilistic automata
• Stuttering for abstract probabilistic automata
• Stuttering for abstract probabilistic automata
• Compositional abstraction techniques for probabilistic automata
• Refinement and difference for probabilistic automata

Cites work

• scientific article; zbMATH DE number 1927574 (Why is no real title available?)
• scientific article; zbMATH DE number 794262 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• A probabilistic extension of UML statecharts specification and verification
• A testing scenario for probabilistic processes
• Abstract probabilistic automata
• Analyzing security protocols using time-bounded task-PIOAs
• Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete
• Compositional abstraction for stochastic systems
• Constraint Markov chains
• Decision Problems for Interval Markov Chains
• Modal I/O Automata for Interface and Product Line Theories
• Model Checking Software
• On determinism in modal transition systems
• Probability and Nondeterminism in Operational Models of Concurrency
• Switched PIOA: parallel composition via distributed scheduling

Cited in

(20)

• Compositional abstraction techniques for probabilistic automata
• Modal specifications for probabilistic timed systems
• Stuttering for abstract probabilistic automata
• Stuttering for abstract probabilistic automata
• Probabilistic ω-automata
• A linear process-algebraic format with data for probabilistic automata
• Modal stochastic games. Abstraction-refinement of probabilistic automata
• Mixed nondeterministic-probabilistic automata: blending graphical probabilistic models with nondeterminism
• Performance analysis of probabilistic action systems
• Counterexample-guided inductive synthesis for probabilistic systems
• Probabilistic asynchronous automata
• Consistency in parametric interval probabilistic timed automata
• Counterexample-driven synthesis for probabilistic program sketches
• Abstract probabilistic automata
• Model checking failure-prone open systems using probabilistic automata
• Refinement and difference for probabilistic automata
• Task-structured probabilistic I/O automata
• Consistency for parametric interval Markov chains
• Parameter Synthesis Algorithms for Parametric Interval Markov Chains
• scientific article; zbMATH DE number 3972193 (Why is no real title available?)

This page was built for publication: Abstract probabilistic automata

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