-
Alessandro Cimatti; Marco Roveri,
Conformant Planning via Symbolic Model Checking,
in «THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH»,
vol. 13,
2000
, pp. 305 -
338
-
V. Hartonas-Garmhausen; E.M. Clarke; S. Campos; Alessandro Cimatti; Fausto Giunchiglia,
in «SCIENCE OF COMPUTER PROGRAMMING»,
vol. 36,
2000
, pp. 53 -
64
-
Alessandro Cimatti; E.M. Clarke; Fausto Giunchiglia; Marco Roveri,
NuSMV: a new symbolic model checker,
in «INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER»,
2000
, pp. 410 -
425
-
Alessandro Cimatti; Luciano Serafini,
A Context-Based Mechanization of Multi-Agent Reasoning,
Formal Aspects of Context,
Drodecht,
Kluwer,
2000
, pp. 65 -
83
-
Piergiorgio Bertoli; Alessandro Cimatti; Paolo Traverso,
Integrating Formal Methods into the Development Cycle of a Safety-critical Embedded Software System,
5th International Workshop on Formal Methods for Industrial Critical Systems [FMICS],
2000
, (5th International Workshop on Formal Methods for Industrial Critical Systems [FMICS],
Berlin, Germany,
2000)
-
Alessandro Cimatti; Marco Roveri,
Forward Conformant Planning via Symbolic Model Checking,
AIPS 2000 Workshop on Model-Theoretic Approaches to Planning,
2000
, (AIPS 2000 Workshop on Model-Theoretic Approaches to Planning,
2000)
-
Marco Roveri,
Abstraction in Model Checking for Bug Hunting,
Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000,
2000
, pp. 219-
223
, (Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000,
Nantes, France,
19/06/2000 - 23/06/2000)
-
Alessandro Cimatti; Marco Roveri,
Conformant Planning via Model Checking,
Fifth European Conference on Planning [ECP`99],
Springer,
2000
, pp. 21-
34
, (Fifth European Conference on Planning [ECP`99],
Durham, UK,
08/09/1999 - 10/09/1999)