3 search results - page 1 / 1 » TTree: Tree-Based State Generalization with Temporally Abstr... |
87
Voted
AAMAS
2002
Springer
15 years 1 months ago
2002
Springer
182
Voted
WRLA
2010
15 years 4 days ago
2010
Abstract. This paper presents the foundation, design, and implementation of the Linear Temporal Logic of Rewriting model checker as an extension of the Maude system. The Linear Tem...
KI
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. Agents situated in proactive environments are acting autonomously while the environment is evolving alongside, whether or not the agents carry out any particular actions....