63 search results - page 9 / 13 » On the complexity of practical ATL model checking |
106
click to vote
LPNMR
1997
Springer
15 years 1 months ago
1997
Springer
Turi [20] introduced the important notion of a constrained atom: an atom with associated equality and disequality constraints on its arguments. A set of constrained atoms is a cons...
111
Voted
CG
2007
Springer
14 years 9 months ago
2007
Springer
We present an interactive algorithm to perform continuous collision detection between general deformable models using graphics processors (GPUs). We model the motion of each objec...
CHARME
2005
Springer
15 years 3 months ago
2005
Springer
The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a finite-state model and a translation of the desired properties i...
ICDCS
2007
IEEE
15 years 3 months ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
80
Voted
JANCL
2007
14 years 9 months ago
2007
We propose a non-standard interpretation of Alternating-time Temporal Logic with imperfect information, for which no commonly accepted semantics has been proposed yet. Rather than ...