551 search results - page 4 / 111 » Realizability of Real-Time Logics |
REX
1991
13 years 10 months ago
1991
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...
FORMATS
2005
Springer
14 years 26 days ago
2005
Springer
This paper attempts to improve our understanding of timed languages and their relation to timed automata. We start by giving a constructive proof of the folk theorem stating that t...
IJCAI
1993
13 years 8 months ago
1993
IAJIT
2006
13 years 7 months ago
2006
: This paper presents the design and implementation of a real-time fuzzy-based artificial intelligence system for an interactive game. The chosen game is a remake of Pac-Man in whi...
JACIII
2008
13 years 7 months ago
2008
