4447 search results - page 311 / 890 » Model Checking Games |
167
click to vote
APLAS
2010
ACM
15 years 5 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
142
Voted
AIIDE
2006
15 years 6 months ago
2006
Although other genres have used procedural level generation to extend gameplay and replayability, platformer games have not yet seen successful level generation. This paper propos...
129
Voted
ECOOP
2004
Springer
15 years 10 months ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...
139
click to vote
ICRA
2002
IEEE
15 years 10 months ago
2002
IEEE
Abstract— This paper presents some recent developments of the LAAS architecture for autonomous mobile robots. In particular, we specify the role of the Execution Control level of...
140
Voted
CONCUR
1999
Springer
15 years 9 months ago
1999
Springer
In order to check whether an open system satisfies a desired property, we need to check the behavior of the system with respect to an arbitrary environment. In the most general se...