Searching for authors named "Marco Roveri" – sorted by Relevance.
-
Conditional Planning under Partial Observability as Heuristic-Symbolic Search in Belief Space
- -Symbolic Search in Belief Space ? Piergiorgio Bertoli 1 , Alessandro Cimatti 1 , Marco Roveri 1;2 1 ITC
- Cited by 11 (5 self) – Add To MetaCart
-
Strong Planning in Non-Deterministic Domains via Model Checking
- Alessandro Cimatti, Marco Roveri, Paolo Traverso IRST, Povo, 38100 Trento, Italy fcimatti,roveri
- Cited by 44 (13 self) – Add To MetaCart
-
Conformant Planning via Symbolic Model Checking
- Sommarive 18, 38055 Povo, Trento, Italy Marco Roveri roveri@(email omitted); ITC-irst, Via Sommarive 18, 38055
- Cited by 95 (11 self) – Add To MetaCart
-
Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking
- , Marco Pistore 1 , Marco Roveri 1;2 , Paolo Traverso 1 1 ITC-IRST, Via Sommarive 18, 38055 Povo
- Add To MetaCart
-
Improving the Encoding of LTL Model Checking into SAT
- , Marco Roveri 1 , and Roberto Sebastiani 1;2 1 ITC-IRST, Trento, Italy fcimatti
- Cited by 17 (4 self) – Add To MetaCart
-
Requirements-driven verification of web services
- Requirements-Driven Verification of Web Services ⋆ Marco Pistore 1,2 and Marco Roveri 2 and Paolo
- Cited by 9 (2 self) – Add To MetaCart
-
Boolean abstraction for temporal logic satisfiability
- Boolean Abstraction for Temporal Logic Satisfiability ⋆ Alessandro Cimatti 1 , Marco Roveri 1
- Cited by 1 (1 self) – Add To MetaCart
-
A New Method for Testing Decision Procedures in Modal Logics
- A new method for testing decision procedures in modal logics ? Fausto Giunchiglia 1;2 Marco
- Cited by 8 (2 self) – Add To MetaCart
-
NuSMV: a reimplementation of SMV
- Clarke 2 , Fausto Giunchiglia 1 , Marco Roveri 1 1 IRST, 38050 Povo, Trento, Italy 2 Carnegie
- Cited by 9 (2 self) – Add To MetaCart
-
Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking
- Cimatti 1 , Marco Roveri 1;2 , and Piergiorgio Bertoli 1 1 ITC-IRST, Via Sommarive 18, 38055 Povo
- Cited by 6 (4 self) – Add To MetaCart

