199 search results - page 14 / 40 » A Fully Abstract Model for Graph-Interpreted Temporal Logic |
110
click to vote
CONCUR
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
140
Voted
ECAI
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The agent programming language GOLOG and the underlying Situation Calculus have become popular means for the modelling and control of autonomous agents such as mobile rob...
CORR
2010
Springer
15 years 1 months ago
2010
Springer
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...
113
Voted
ET
2010
15 years 12 days ago
2010
Abstract As technology scales down into the nanometer era, delay testing of modern chips has become more and more important. Tests for the path delay fault model are widely used to...
121
click to vote
CLIMA
2008
15 years 3 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...