Sfoglia per Autore
A New Method for Testing Decision Procedures in Modal and Terminological Logics
1996-01-01 Giunchiglia, Fausto; Roveri, Marco; Sebastiani, Roberto
Abstraction in Planning via Model Checking
1998-01-01 Cimatti, Alessandro; Giunchiglia, Fausto; Roveri, Marco
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains
1998-01-01 Cimatti, Alessandro; Roveri, Marco; Traverso, Paolo
Strong Planning in Non-Deterministic Domains via Model Checking
1998-01-01 Cimatti, Alessandro; Roveri, Marco; Traverso, Paolo
NuSMV: A Reimplementation of SMV
1998-01-01 Cimatti, Alessandro; E. M., Clarke; Giunchiglia, Fausto; Roveri, Marco
Conformant Planning via Model Checking
1999-01-01 Cimatti, Alessandro; Roveri, Marco
NuSMV: a New Symbolic Model Verifier
1999-01-01 Cimatti, Alessandro; E. M., Clarke; Fausto, Giunchiglia; Roveri, Marco
NuSMV: a new symbolic model checker
2000-01-01 Cimatti, Alessandro; E. M., Clarke; Giunchiglia, Fausto; Roveri, Marco
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
Conformant Planning via Symbolic Model Checking
2000-01-01 Cimatti, Alessandro; Roveri, Marco
Conformant Planning via Model Checking
2000-01-01 Cimatti, Alessandro; Roveri, Marco
Conditional Planning under Partial Obserbability as Heuristic-Symbolic Search in Belief Space
2001-01-01 Bertoli, Piergiorgio; Cimatti, Alessandro; Roveri, Marco
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning
2001-01-01 Bertoli, Piergiorgio; Cimatti, Alessandro; Roveri, Marco
NuSMV Version 2: BDD-based + SAT-based Symbolic Model Checking
2001-01-01 Cimatti, Alessandro; E., Giunchiglia; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto; A., Tacchella
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking
2001-01-01 Bertoli, Piergiorgio; Cimatti, Alessandro; Roveri, Marco; Traverso, Paolo
Searching Porwerset Automata by Combining Explicit-State and Symbolic Model Checking
2001-01-01 Cimatti, Alessandro; Roveri, Marco; Bertoli, Piergiorgio
MBP: a Model Based Planner
2001-01-01 Bertoli, Piergiorgio; Cimatti, Alessandro; Pistore, Marco; Roveri, Marco; Traverso, Paolo
Improving the encoding of LTL Model Checking into SAT
2002-01-01 Cimatti, Alessandro; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto
Planning in Non-Deterministic Domains via Symbolic Model Checking
2002-01-01 Roveri, Marco
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A New Method for Testing Decision Procedures in Modal and Terminological Logics | 1-gen-1996 | Giunchiglia, Fausto; Roveri, Marco; Sebastiani, Roberto | |
Abstraction in Planning via Model Checking | 1-gen-1998 | Cimatti, Alessandro; Giunchiglia, Fausto; Roveri, Marco | |
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains | 1-gen-1998 | Cimatti, Alessandro; Roveri, Marco; Traverso, Paolo | |
Strong Planning in Non-Deterministic Domains via Model Checking | 1-gen-1998 | Cimatti, Alessandro; Roveri, Marco; Traverso, Paolo | |
NuSMV: A Reimplementation of SMV | 1-gen-1998 | Cimatti, Alessandro; E. M., Clarke; Giunchiglia, Fausto; Roveri, Marco | |
Conformant Planning via Model Checking | 1-gen-1999 | Cimatti, Alessandro; Roveri, Marco | |
NuSMV: a New Symbolic Model Verifier | 1-gen-1999 | Cimatti, Alessandro; E. M., Clarke; Fausto, Giunchiglia; Roveri, Marco | |
NuSMV: a new symbolic model checker | 1-gen-2000 | Cimatti, Alessandro; E. M., Clarke; Giunchiglia, Fausto; Roveri, Marco | |
Abstraction in Model Checking for Bug Hunting | 1-gen-2000 | Roveri, Marco | |
Forward Conformant Planning via Symbolic Model Checking | 1-gen-2000 | Cimatti, Alessandro; Roveri, Marco | |
Conformant Planning via Symbolic Model Checking | 1-gen-2000 | Cimatti, Alessandro; Roveri, Marco | |
Conformant Planning via Model Checking | 1-gen-2000 | Cimatti, Alessandro; Roveri, Marco | |
Conditional Planning under Partial Obserbability as Heuristic-Symbolic Search in Belief Space | 1-gen-2001 | Bertoli, Piergiorgio; Cimatti, Alessandro; Roveri, Marco | |
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning | 1-gen-2001 | Bertoli, Piergiorgio; Cimatti, Alessandro; Roveri, Marco | |
NuSMV Version 2: BDD-based + SAT-based Symbolic Model Checking | 1-gen-2001 | Cimatti, Alessandro; E., Giunchiglia; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto; A., Tacchella | |
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking | 1-gen-2001 | Bertoli, Piergiorgio; Cimatti, Alessandro; Roveri, Marco; Traverso, Paolo | |
Searching Porwerset Automata by Combining Explicit-State and Symbolic Model Checking | 1-gen-2001 | Cimatti, Alessandro; Roveri, Marco; Bertoli, Piergiorgio | |
MBP: a Model Based Planner | 1-gen-2001 | Bertoli, Piergiorgio; Cimatti, Alessandro; Pistore, Marco; Roveri, Marco; Traverso, Paolo | |
Improving the encoding of LTL Model Checking into SAT | 1-gen-2002 | Cimatti, Alessandro; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto | |
Planning in Non-Deterministic Domains via Symbolic Model Checking | 1-gen-2002 | 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