4447 search results - page 55 / 890 » Model Checking Games |
123
Voted
QEST
2010
IEEE
15 years 1 months ago
2010
IEEE
141
click to vote
ICCD
2005
IEEE
15 years 9 months ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
141
click to vote
ICRA
2010
IEEE
15 years 1 months ago
2010
IEEE
— Game theoretical approaches have been recently used to develop patrolling strategies for mobile robots. The idea is that the patroller and the intruder play a game, whose outco...
128
Voted
ENTCS
2006
15 years 3 months ago
2006
In previous work we proposed Linear Programs as a fine grained model for imperative programs, and showed how the model checking procedure used in SLAM can be generalised to a mode...
132
click to vote
ICFEM
2004
Springer
15 years 8 months ago
2004
Springer
Iterative abstraction refinement has emerged in the last few years as the leading approach to software model checking. In this context Boolean programs are commonly employed as si...