Sfoglia per Autore
A new method for testing decision procedures in modal and terminological logics
1996-01-01 Giunchiglia, Fausto; Roveri, Marco; Sebastiani, Roberto
A new method for testing decision procedures in modal logics
1997-01-01 Giunchiglia, Fausto; Roveri, Marco; Sebastiani, Roberto
Abstraction in planning via model checking
1998-01-01 Cimatti, A.; Giunchiglia, Fausto; Roveri, M.
Strong Planning in Non-Deterministic Domains via Model Checking
1998-01-01 Cimatti, Alessandro; Roveri, Marco; Traverso, Paolo
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains
1998-01-01 Cimatti, Alessandro; Roveri, Marco; Traverso, Paolo
NUSMV: a reimplementation of SMV
1998-01-01 Cimatti, A.; Clarke, E.; Giunchiglia, Fausto; Roveri, M.
NUSMV: a new symbolic model verifier
1999-01-01 Cimatti, A.; Clarke, E. M.; Giunchiglia, Fausto; Roveri, M.
Abstraction in Model Checking for Bug Hunting
2000-01-01 Roveri, Marco
Forward Conformant Planning via Symbolic Model Checking
2000-01-01 Cimatti, Alessandro; Roveri, Marco
NUSMV: a new symbolic model checker
2000-01-01 Cimatti, A.; Clarke, E. M.; Giunchiglia, Fausto; Roveri, M.
Conformant Planning via Model Checking
2000-01-01 Cimatti, Alessandro; Roveri, Marco
Conformant Planning via Symbolic Model Checking
2000-01-01 Cimatti, Alessandro; Roveri, Marco
MBP: a Model Based Planner
2001-01-01 Bertoli, Piergiorgio; Cimatti, Alessandro; Pistore, Marco; Roveri, Marco; Traverso, Paolo
Searching Porwerset Automata by Combining Explicit-State and Symbolic Model Checking
2001-01-01 Cimatti, Alessandro; Roveri, Marco; Bertoli, Piergiorgio
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning
2001-01-01 Bertoli, Piergiorgio; Cimatti, Alessandro; Roveri, Marco
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking
2001-01-01 Bertoli, Piergiorgio; Cimatti, Alessandro; Roveri, Marco; Traverso, Paolo
NuSMV Version 2: BDD-based + SAT-based Symbolic ModelChecker.
2001-01-01 Cimatti, A.; Giunchiglia, E.; Pistore, Marco; Sebastiani, Roberto; Roveri, M.; Tacchella, A.
Improving the Encoding of LTL Model Checking into SAT
2002-01-01 Cimatti, A.; Pistore, Marco; Roveri, M.; Sebastiani, Roberto
Improving the Encoding of LTL Model Checking into SAT
2002-01-01 Cimatti, Alessandro; Sebastiani, Roberto; Roveri, Marco; Pistore, Marco
Planning in Non-Deterministic Domains via Symbolic Model Checking
2002-01-01 Roveri, Marco
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile