Verification and Control of Partially Observable Probabilistic Real-Time Systems
DOI10.1007/978-3-319-22975-1_16zbMath1465.68182arXiv1506.06419OpenAlexW2097415230MaRDI QIDQ2945599
No author found.
Publication date: 14 September 2015
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1506.06419
Formal languages and automata (68Q45) Control/observation systems involving computers (process control, etc.) (93C83) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60) Computer security (68M25)
Related Items (3)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A course in triangulations for solving equations with deformations
- On the undecidability of probabilistic planning and related stochastic optimization problems
- Performance analysis of probabilistic timed automata using digital clocks
- A theory of timed automata
- Model checking for probabilistic timed automata
- Template-Based Controller Synthesis for Timed Systems
- Verification and Control of Partially Observable Probabilistic Real-Time Systems
- What is Decidable about Partially Observable Markov Decision Processes with omega-Regular Objectives.
- Timed Control with Observation Based and Stuttering Invariant Strategies
- Computationally Feasible Bounds for Partially Observed Markov Decision Processes
- Verification of Partial-Information Probabilistic Systems Using Counterexample-Guided Refinements
- Partial-Observation Stochastic Games
- What good are digital clocks?
- On Decision Problems for Probabilistic Büchi Automata
- Information and Communications Security
- Computer Aided Verification
This page was built for publication: Verification and Control of Partially Observable Probabilistic Real-Time Systems
