Sfoglia per Autore  

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