Sfoglia per Autore
Finite State Verification for the Asynchronous pi-Calculus
1999-01-01 U., Montanari; Pistore, Marco
Structured Coalgebras and Minimal HD-Automata for the pi-Calculus
2000-01-01 U., Montanari; Pistore, Marco
NuSMV Version 2: BDD-based + SAT-based Symbolic Model Checking
2001-01-01 Cimatti, Alessandro; E., Giunchiglia; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto; A., Tacchella
History Dependent Automata
2001-01-01 U., Montanari; Pistore, Marco
Planning and Verification techniques for the High Level Programming and Monitoring of Autonomous Robotic Devices
2001-01-01 Carlucci Aiello, Luigia; A., Cesta; E., Giunchiglia; Pistore, Marco; Traverso, Paolo
Model Checking Early Requirements Specifications in Tropos
2001-01-01 A., Fuxman; Pistore, Marco; Mylopoulos, John; Traverso, Paolo
Planning as Model Checking for Extended Goals in Non-deterministic Domains
2001-01-01 Pistore, Marco; Traverso, Paolo
Symbolic techniques for planning with extended goals in non-deterministic domains
2001-01-01 Pistore, Marco; Bettin, Renato; Traverso, Paolo
MBP: a Model Based Planner
2001-01-01 Bertoli, Piergiorgio; Cimatti, Alessandro; Pistore, Marco; Roveri, Marco; Traverso, Paolo
Improving the encoding of LTL Model Checking into SAT
2002-01-01 Cimatti, Alessandro; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto
NuSMV 2: An OpenSource Tool for Symbolic model Checking
2002-01-01 Cimatti, Alessandro; E. M., Clarke; Enrico, Giunchiglia; Fausto, Giunchiglia; Pistore, Marco; Roveri, Marco; Roberto, Sebastiani; A., Tacchella
Integrating BDD-based and SAT-based Symbolic Model Checking
2002-01-01 Cimatti, Alessandro; E., Giunchiglia; Roveri, Marco; Pistore, Marco; Sebastiani, Roberto; A., Tacchella
Planning with a Language for Extended Goals
2002-01-01 Lago U., Dal; Pistore, Marco; Traverso, Paolo
Plan Validation for Extended Goals under Partial Observability (preliminary report)
2002-01-01 Bertoli, Piergiorgio; Cimatti, Alessandro; Pistore, Marco; Traverso, Paolo
A Request Language for Web-Services Based on Planning and Constraint Satisfaction
2002-01-01 M., Aiello; Mike P., Papazoglou; J., Yang; Carman, Mark James; Pistore, Marco; Serafini, Luciano; Traverso, Paolo
Specifying and Analyzing Early Requirements: Some Experimental Results
2003-01-01 A., Fuxman; L., Liu; Pistore, Marco; Roveri, Marco; Mylopoulos, John
A Framework for Planning with Extended Goals under Partial Observability
2003-01-01 Bertoli, Piergiorgio; Cimatti, Alessandro; Pistore, Marco; Traverso, Paolo
Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking
2003-01-01 Cimatti, Alessandro; Pistore, Marco; Roveri, Marco; Traverso, Paolo
Agent-oriented modeling by interleaving formal and informal specification
2003-01-01 Perini, Anna; Pistore, Marco; Roveri, Marco; Susi, Angelo
Extending PDDL to nondeterminism, limited sensing and iterative conditinal plans
2003-01-01 Bertoli, Piergiorgio; Cimatti, Alessandro; Lago U., Dal; Pistore, Marco
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Finite State Verification for the Asynchronous pi-Calculus | 1-gen-1999 | U., Montanari; Pistore, Marco | |
Structured Coalgebras and Minimal HD-Automata for the pi-Calculus | 1-gen-2000 | U., Montanari; Pistore, 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 | |
History Dependent Automata | 1-gen-2001 | U., Montanari; Pistore, Marco | |
Planning and Verification techniques for the High Level Programming and Monitoring of Autonomous Robotic Devices | 1-gen-2001 | Carlucci Aiello, Luigia; A., Cesta; E., Giunchiglia; Pistore, Marco; Traverso, Paolo | |
Model Checking Early Requirements Specifications in Tropos | 1-gen-2001 | A., Fuxman; Pistore, Marco; Mylopoulos, John; Traverso, Paolo | |
Planning as Model Checking for Extended Goals in Non-deterministic Domains | 1-gen-2001 | Pistore, Marco; Traverso, Paolo | |
Symbolic techniques for planning with extended goals in non-deterministic domains | 1-gen-2001 | Pistore, Marco; Bettin, Renato; Traverso, Paolo | |
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 | |
NuSMV 2: An OpenSource Tool for Symbolic model Checking | 1-gen-2002 | Cimatti, Alessandro; E. M., Clarke; Enrico, Giunchiglia; Fausto, Giunchiglia; Pistore, Marco; Roveri, Marco; Roberto, Sebastiani; A., Tacchella | |
Integrating BDD-based and SAT-based Symbolic Model Checking | 1-gen-2002 | Cimatti, Alessandro; E., Giunchiglia; Roveri, Marco; Pistore, Marco; Sebastiani, Roberto; A., Tacchella | |
Planning with a Language for Extended Goals | 1-gen-2002 | Lago U., Dal; Pistore, Marco; Traverso, Paolo | |
Plan Validation for Extended Goals under Partial Observability (preliminary report) | 1-gen-2002 | Bertoli, Piergiorgio; Cimatti, Alessandro; Pistore, Marco; Traverso, Paolo | |
A Request Language for Web-Services Based on Planning and Constraint Satisfaction | 1-gen-2002 | M., Aiello; Mike P., Papazoglou; J., Yang; Carman, Mark James; Pistore, Marco; Serafini, Luciano; Traverso, Paolo | |
Specifying and Analyzing Early Requirements: Some Experimental Results | 1-gen-2003 | A., Fuxman; L., Liu; Pistore, Marco; Roveri, Marco; Mylopoulos, John | |
A Framework for Planning with Extended Goals under Partial Observability | 1-gen-2003 | Bertoli, Piergiorgio; Cimatti, Alessandro; Pistore, Marco; Traverso, Paolo | |
Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking | 1-gen-2003 | Cimatti, Alessandro; Pistore, Marco; Roveri, Marco; Traverso, Paolo | |
Agent-oriented modeling by interleaving formal and informal specification | 1-gen-2003 | Perini, Anna; Pistore, Marco; Roveri, Marco; Susi, Angelo | |
Extending PDDL to nondeterminism, limited sensing and iterative conditinal plans | 1-gen-2003 | Bertoli, Piergiorgio; Cimatti, Alessandro; Lago U., Dal; Pistore, Marco |
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