Searching for authors named "Marco Roveri" – sorted by Relevance.
23 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
