475 search results - page 45 / 95 » Temporal Logic Model Checking (Abstract) |
160
click to vote
ICCS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Sensing is at the core of virtually every DDDAS application. Sensing applications typically involve distributed communication and coordination over large self-organized n...
113
click to vote
AAMAS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. This paper gives an overview of our recent work on an approach to verifying multi-agent programs. We automatically translate multi-agent systems programmed in the logic-b...
116
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract-- In this paper we present a method for automatically generating optimal robot trajectories satisfying high level mission specifications. The motion of the robot in the en...
127
click to vote
CAV
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. This paper develops a local reasoning method to check lineartime temporal properties of concurrent programs. In practice, it is often infeasible to model check over the p...
104
click to vote
FORMATS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We show how to transform formulae written in the real-time temporal logic MITL into timed automata that recognize their satisfying models. This compositional construction...