Sfoglia per Autore
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
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
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
Bounded Model Checking for Timed Systems
2002-01-01 Audemard, Gilles; Cimatti, Alessandro; Kornilowicz, Artur; Sebastiani, Roberto
Integrating BDD-based and SAT-based Symbolic Model Checking
2002-01-01 Cimatti, Alessandro; Giunchiglia, Enrico; Roveri, Marco; Sebastiani, Roberto; Tacchella, Armando; Pistore, Marco
Improving the Encoding of LTL Model Checking into SAT
2002-01-01 Cimatti, Alessandro; Sebastiani, Roberto; Roveri, Marco; Pistore, Marco
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions
2002-01-01 Audemard, Gilles; Bertoli, Piergiorgio; Kornilowicz, Artur; Sebastiani, Roberto; Cimatti, Alessandro
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements
2002-01-01 Audemard, Gilles; Bertoli, Piergiorgio; Cimatti, Alessandro; Kornilowicz, Artur; Sebastiani, Roberto
NuSMV2: an Open Source Tool for Symbolic Model Checking
2002-01-01 Cimatti, Alessandro; Clarke, Edmund; Giunchiglia, Fausto; Pistore, Marco; Tacchella, Armando; Giunchiglia, Enrico; Roveri, Marco; Sebastiani, Roberto
NuSMV 2: An opensource tool for symbolic model checking
2002-01-01 Cimatti, A.; Clarke, E.; Giunchiglia, E.; Giunchiglia, F.; Pistore, M.; Roveri, M.; Sebastiani, R.; Tacchella, A.
Efficiently Integrating Boolean Reasoning and Mathematical Solving
2003-01-01 Bertoli, Piergiorgio; Cimatti, Alessandro; Audemard, Gilles; Kornilowicz, Artur; Sebastiani, Roberto
Conformant Planning via Symbolic Model Checking and Heuristic Search
2004-01-01 Cimatti, Alessandro; Roveri, Marco; Bertoli, Piergiorgio
Bounded Verification of Past LTL
2004-01-01 Cimatti, A.; Roveri, M.; Sheridan, D.
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic
2005-01-01 M., Bozzano; Bruttomesso, Roberto; Cimatti, Alessandro; T., Junttila; P., Van Rossum; Sebastiani, Roberto; S., Schulz
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