Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

A Decidable Probability Logic for Timed Probabilistic Systems

A Decidable Probability Logic for Timed Probabilistic Systems In this paper we extend the predicate logic introduced by Beauquier et al. in order to deal with Markov decision processes. We prove that with respect to qualitative probabilistic properties, model checking is decidable for this logic applied to Markov decision processes. Furthermore we apply our logic to probabilistic timed transition systems using predicates on clocks. We prove that results on Markov decision processes hold also for probabilistic timed transition systems. The interest of this logic lies in particular on the fact that some important properties are expressible in this logic but not expressible in pCTL. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Fundamenta Informaticae IOS Press

A Decidable Probability Logic for Timed Probabilistic Systems

Loading next page...
 
/lp/ios-press/a-decidable-probability-logic-for-timed-probabilistic-systems-yO3WjQpUhI

References (34)

Publisher
IOS Press
Copyright
Copyright © 2009 by IOS Press, Inc
ISSN
0169-2968
eISSN
1875-8681
DOI
10.3233/FI-2009-171
Publisher site
See Article on Publisher Site

Abstract

In this paper we extend the predicate logic introduced by Beauquier et al. in order to deal with Markov decision processes. We prove that with respect to qualitative probabilistic properties, model checking is decidable for this logic applied to Markov decision processes. Furthermore we apply our logic to probabilistic timed transition systems using predicates on clocks. We prove that results on Markov decision processes hold also for probabilistic timed transition systems. The interest of this logic lies in particular on the fact that some important properties are expressible in this logic but not expressible in pCTL.

Journal

Fundamenta InformaticaeIOS Press

Published: Jan 1, 2009

There are no references for this article.