Probabilistic Verification of Uncertain Systems Using Bounded-Parameter Markov Decision Processes

DOI10.1007/11681960_28zbMath1235.68105OpenAlexW1607308774MaRDI QIDQ3619461

Di Wu, Xenofon D. Koutsoukos

Publication date: 7 April 2009

Published in: Modeling Decisions for Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11681960_28

Mathematics Subject Classification ID

Markov and semi-Markov decision processes (90C40) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (2)

Reachability analysis of uncertain systems using bounded-parameter Markov decision processes ⋮ Probabilistic Verification of Uncertain Systems Using Bounded-Parameter Markov Decision Processes

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Bounded-parameter Markov decision processes
• Probabilistic Verification of Uncertain Systems Using Bounded-Parameter Markov Decision Processes
• Parameter Imprecision in Finite State, Finite Action Dynamic Programs
• Markov Decision Processes with Imprecise Transition Probabilities
• Markov decision processes and regular events

This page was built for publication: Probabilistic Verification of Uncertain Systems Using Bounded-Parameter Markov Decision Processes