423 search results - page 1 / 85 » Multi-objective Model Checking of Markov Decision Processes |
TACAS
2007
Springer
13 years 11 months ago
2007
Springer
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...
CORR
2008
Springer
13 years 4 months ago
2008
Springer
Abstract. This paper presents a novel technique for counterexample generation in probabilistic model checking of Markov chains and Markov Decision Processes. (Finite) paths in coun...
CORR
2008
Springer
13 years 4 months ago
2008
Springer
rexample Guided Abstraction-Refinement Framework for Markov Decision Processes ROHIT CHADHA and MAHESH VISWANATHAN Dept. of Computer Science, University of Illinois at Urbana-Champ...
ICCV
2009
IEEE
14 years 9 months ago
2009
IEEE
This paper addresses real-time automatic visual tracking,
labeling and classification of a variable number of
objects such as pedestrians or/and vehicles, under timevarying
illu...
VMCAI
2010
Springer
14 years 2 months ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...