315 search results - page 6 / 63 » Parametric real-time reasoning |
FORMATS
2009
Springer
14 years 4 months ago
2009
Springer
Embedded real-time systems are typically programmed in low-level languages which provide support for event-driven task processing and real-time interrupts. We show that the model c...
FORMATS
2005
Springer
14 years 3 months 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...
ATAL
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. Multi-agent domains consisting of teams of agents that need to collaborate in an adversarial environment offer challenging research opportunities. In this paper, we intro...
IJCAI
2007
13 years 11 months ago
2007
The association of perception and action is key to learning by observation in general, and to programlevel task imitation in particular. The question is how to structure this info...
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...