1346 search results - page 1 / 270 » Alternating-time dynamic logic |
FORMATS
2006
Springer
15 years 1 months ago
2006
Springer
We add freeze quantifiers to the game logic ATL in order to specify real-time objectives for games played on timed structures. We define the semantics of the resulting logic TATL b...
79
Voted
LPAR
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Recently, graded modalities have been added to the semantics of two of the logics most commonly used by the computer science community:
ATVA
2007
Springer
15 years 3 months ago
2007
Springer
86
Voted
LPAR
2010
Springer
14 years 7 months ago
2010
Springer
ICALP
2009
Springer
15 years 9 months ago
2009
Springer
Alternating timed automata on infinite words are considered. The main result is a characterization of acceptance conditions for which the emptiness problem for the automata is deci...