1167 search results - page 141 / 234 » A Really Temporal Logic |
154
click to vote
BIRTHDAY
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. This case study applies techniques of formal program development by specification refinement and composition to the problem of concurrent garbage collection. The speci...
127
click to vote
ATAL
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. We address the problem of constructing multiagent systems by coordinating autonomous agents, whose internal designs may not be fully known. We develop a customizable coor...
105
click to vote
CSL
2006
Springer
15 years 8 months ago
2006
Springer
The synthesis of reactive systems requires the solution of two-player games on graphs with -regular objectives. When the objective is specified by a linear temporal logic formula o...
145
click to vote
CLIMA
2008
15 years 6 months ago
2008
Abstract. I present an overview of complexity results for model checking of temporal and strategic logics. Unfortunately, it is possible to manipulate the context so that different...
104
click to vote
ACL
1992
15 years 5 months ago
1992
We present a new compositional tense-aspect deindexing mechanism that makes use of tense trees as components of discourse contexts. The mechanism allows reference episodes to be c...