RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
FSAP
2008-01-01 Cimatti, Alessandro; Bozzano, Marco; Adolfo, Villafiorita
Improving Heuristics for Planning and Search in Belief Space
2001-01-01 Bertoli, Piergiorgio; Cimatti, Alessandro
Industrial Applications of Model Checking
2001-01-01 Cimatti, Alessandro
KRATOS
2010-01-01 Roveri, Marco; Cimatti, Alessandro; Narasamdya, Iman; Micheli, Andrea; Daniele, Campana; Griggio, Alberto; Tchaltsev, Andrei
MathSAT
2007-01-01 Roberto, Bruttomesso; Cimatti, Alessandro; Roberto, Sebasatiani; Griggio, Alberto; Anders, Franzen
MathSAT: Thigt Integration of SAT and Mathematical Decision Procedures
2005-01-01 Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; T. A., Junttila; R., Peter van; S. P., Schulz; Sebastiani, Roberto
NuGAT
2009-01-01 Roveri, Marco; Cimatti, Alessandro; Schuppan, Viktor; Tchaltsev, Andrei; Cavada, Roberto
NuSMV
2002-01-01 Roveri, Marco; Cimatti, Alessandro; Cavada, Roberto; Tchaltsev, Andrei; Micheli, Andrea; Mariotti, Alessandro; Mover, Sergio; Marco, Pensallorto; Armando, Tacchella; Daniel, Sheridan; Gavin, Keighren; Tommi, Junttila; Timo, Latvala
Protocolli Safety Layer e Connection Manager: Descrizione del Codice SDL
1998-01-01 Cimatti, Alessandro; Sebastiani, Roberto
RAT
2005-01-01 Roveri, Marco; Cimatti, Alessandro; Tchaltsev, Andrei; Cavada, Roberto; Simone, Semprini; Roderick, Bloem; Ingo, Pill
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
FSAP | 1-gen-2008 | Cimatti, Alessandro; Bozzano, Marco; Adolfo, Villafiorita | |
Improving Heuristics for Planning and Search in Belief Space | 1-gen-2001 | Bertoli, Piergiorgio; Cimatti, Alessandro | |
Industrial Applications of Model Checking | 1-gen-2001 | Cimatti, Alessandro | |
KRATOS | 1-gen-2010 | Roveri, Marco; Cimatti, Alessandro; Narasamdya, Iman; Micheli, Andrea; Daniele, Campana; Griggio, Alberto; Tchaltsev, Andrei | |
MathSAT | 1-gen-2007 | Roberto, Bruttomesso; Cimatti, Alessandro; Roberto, Sebasatiani; Griggio, Alberto; Anders, Franzen | |
MathSAT: Thigt Integration of SAT and Mathematical Decision Procedures | 1-gen-2005 | Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; T. A., Junttila; R., Peter van; S. P., Schulz; Sebastiani, Roberto | |
NuGAT | 1-gen-2009 | Roveri, Marco; Cimatti, Alessandro; Schuppan, Viktor; Tchaltsev, Andrei; Cavada, Roberto | |
NuSMV | 1-gen-2002 | Roveri, Marco; Cimatti, Alessandro; Cavada, Roberto; Tchaltsev, Andrei; Micheli, Andrea; Mariotti, Alessandro; Mover, Sergio; Marco, Pensallorto; Armando, Tacchella; Daniel, Sheridan; Gavin, Keighren; Tommi, Junttila; Timo, Latvala | |
Protocolli Safety Layer e Connection Manager: Descrizione del Codice SDL | 1-gen-1998 | Cimatti, Alessandro; Sebastiani, Roberto | |
RAT | 1-gen-2005 | Roveri, Marco; Cimatti, Alessandro; Tchaltsev, Andrei; Cavada, Roberto; Simone, Semprini; Roderick, Bloem; Ingo, Pill |
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
Opzioni
Scopri
Tipologia
- 5 Altro 28
- 5 Altro::5.12 Altro 21
- 5 Altro::5.11 Software 7
Data di pubblicazione
- 2010 - 2018 3
- 2000 - 2009 18
- 1993 - 1999 7
Keyword
- and Temporal Logic 1
- BDDs 1
- conformant planning 1
- diagnosis 1
- extended goals 1
- Games 1
- MBP 1
- model-based reasoning 1
- NUSMV 1
- partial observability 1
Lingua
- eng 20
- ita 1
Accesso al fulltext
- no fulltext 28