Sfoglia per Autore

opzioni
Mostrati risultati da 1 a 20 di 123
Titolo Anno di pubblicazione Autori Unitn File
A new method for testing decision procedures in modal and terminological logics 1-gen-1996 Giunchiglia, FaustoRoveri, MarcoSebastiani, Roberto
A new method for testing decision procedures in modal logics 1-gen-1997 Giunchiglia, FaustoRoveri, MarcoSebastiani, Roberto
NUSMV: a reimplementation of SMV 1-gen-1998 Giunchiglia, FaustoM. Roveri +
Abstraction in planning via model checking 1-gen-1998 Giunchiglia, FaustoM. Roveri +
Strong Planning in Non-Deterministic Domains via Model Checking 1-gen-1998 Alessandro CimattiMarco Roveri +
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains 1-gen-1998 Alessandro CimattiMarco Roveri +
NUSMV: a new symbolic model verifier 1-gen-1999 Giunchiglia, FaustoM. Roveri +
NUSMV: a new symbolic model checker 1-gen-2000 Giunchiglia, FaustoM. Roveri +
Forward Conformant Planning via Symbolic Model Checking 1-gen-2000 Alessandro CimattiMarco Roveri
Abstraction in Model Checking for Bug Hunting 1-gen-2000 Marco Roveri
Conformant Planning via Symbolic Model Checking 1-gen-2000 Alessandro CimattiMarco Roveri
Conformant Planning via Model Checking 1-gen-2000 Alessandro CimattiMarco Roveri
NuSMV Version 2: BDD-based + SAT-based Symbolic ModelChecker. 1-gen-2001 Pistore, MarcoSebastiani, RobertoM. Roveri +
Searching Porwerset Automata by Combining Explicit-State and Symbolic Model Checking 1-gen-2001 Alessandro CimattiMarco Roveri +
MBP: a Model Based Planner 1-gen-2001 Cimatti, AlessandroRoveri, Marco +
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking 1-gen-2001 Alessandro CimattiMarco Roveri +
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning 1-gen-2001 Alessandro CimattiMarco Roveri +
NuSMV2: an open source tool for symbolic model checking 1-gen-2002 Giunchiglia, FaustoPistore, MarcoM. RoveriSebastiani, Roberto +
Improving the Encoding of LTL Model Checking into SAT 1-gen-2002 Pistore, MarcoM. RoveriSebastiani, Roberto +
Planning in Non-Deterministic Domains via Symbolic Model Checking 1-gen-2002 Marco Roveri
Mostrati risultati da 1 a 20 di 123
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