Verification and control of partially observable probabilistic systems

DOI10.1007/s11241-017-9269-4zbMath1425.68266OpenAlexW2594789366WikidataQ59614665 ScholiaQ59614665MaRDI QIDQ1699230

Peng Zhang

Publication date: 19 February 2018

Published in: Real-Time Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11241-017-9269-4

zbMATH Keywords

formal verificationcontroller synthesisprobabilistic verification

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (8)

Runtime monitors for Markov decision processes ⋮ Enforcing almost-sure reachability in POMDPs ⋮ Gradient-descent for randomized controllers under partial observability ⋮ Risk-aware shielding of partially observable Monte Carlo planning policies ⋮ Task-guided IRL in POMDPs that scales ⋮ Collaborative models for autonomous systems controller synthesis ⋮ Finding provably optimal Markov chains ⋮ Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes

Uses Software

• PRISM
• POMDP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Optimal cost almost-sure reachability in POMDPs
• Optimal paths in weighted timed automata
• A course in triangulations for solving equations with deformations
• On the undecidability of probabilistic planning and related stochastic optimization problems
• Checking timed Büchi automata emptiness efficiently
• Performance analysis of probabilistic timed automata using digital clocks
• The dining cryptographers problem: Unconditional sender and recipient untraceability
• A theory of timed automata
• Symbolic model checking for real-time systems
• A logic for reasoning about time and reliability
• Model checking for probabilistic timed automata
• Wireless scheduling with partial channel state information: large deviations and optimality
• A State Action Frequency Approach to Throughput Maximization over Uncertain Wireless Channels
• 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.
• Temporal logic motion planning using POMDPs with parity 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
• Computer Aided Verification

This page was built for publication: Verification and control of partially observable probabilistic systems