Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 129
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
Mostrati risultati da 1 a 20 di 129
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