8 search results - page 1 / 2 » Tableau-based automata construction for dynamic linear time ... |
AMAI
2006
Springer
13 years 4 months ago
2006
Springer
We present a tableau-based algorithm for obtaining a B
VMCAI
2010
Springer
13 years 11 months ago
2010
Springer
This paper upgrades Regular Linear Temporal Logic (RLTL) with past operators and complementation. RLTL is a temporal logic that extends the expressive power of linear temporal logi...
HYBRID
2003
Springer
13 years 9 months ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
FROCOS
2007
Springer
13 years 10 months ago
2007
Springer
Often when formalising dynamic systems, constraints such as exactly “n” of a set of values hold. In this paper, we consider reasoning about propositional linear time temporal ...
AI
2008
Springer
13 years 4 months ago
2008
Springer
The notion of maintenance often appears in the AI literature in the context of agent behavior and planning. In this paper, we argue that earlier characterizations of the notion of...