13 search results - page 1 / 3 » Three-Valued Spotlight Abstractions |
FM
2009
Springer
13 years 11 months ago
2009
Springer
CONCUR
2007
Springer
13 years 11 months ago
2007
Springer
Games via Three-Valued Abstraction Refinement Luca de Alfaro, Pritam Roy PII: S0890-5401(10)00018-0 DOI: 10.1016/j.ic.2009.05.007 Reference: YINCO 3711 To appear in: Information an...
CAV
2007
Springer
13 years 11 months ago
2007
Springer
lued Abstraction for Continuous-Time Markov Chains⋆ Joost-Pieter Katoen1 , Daniel Klink1 , Martin Leucker2 , and Verena Wolf3 RWTH Aachen University1 , TU Munich2 , University of...
FCT
2009
Springer
13 years 11 months ago
2009
Springer
WOLLIC
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. In this paper, we present a three-valued property driven model checking algorithm for the logic CTL on hybrid automata. The technique of multivalued model checking for hy...