IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 63
Titolo Data di pubblicazione Autore(i) File
Certification of Translators via Off-line and On-line Proof Logging and Checking 1-gen-1997 Bertoli, Piergiorgio; Cimatti, Alessandro; Giunchiglia, Fausto; Traverso, Paolo
The OMRS project: State of the Art 1-gen-1998 Giunchiglia, Fausto; Bertoli, Piergiorgio; A., Coglio
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools 1-gen-1998 Bertoli, Piergiorgio; Cimatti, Alessandro; Giunchiglia, Fausto; Traverso, Paolo
Specification and Integration of Theorem Provers and Computer Algebra Systems 1-gen-1999 Bertoli, Piergiorgio; J., Calmet; Giunchiglia, Fausto; K., Homann
Integrating Formal Methods into the Development Cycle of a Safety-critical Embedded Software System 1-gen-2000 Bertoli, Piergiorgio; Cimatti, Alessandro; Traverso, Paolo
Mechanized Result Verification: an Industrial Application 1-gen-2000 Traverso, Paolo; Bertoli, Piergiorgio
Design Verification of a Safety-Critical Embedded Verifier 1-gen-2000 Bertoli, Piergiorgio; Traverso, Paolo
Improving Heuristics for Planning and Search in Belief Space 1-gen-2001 Bertoli, Piergiorgio; Cimatti, Alessandro
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning 1-gen-2001 Bertoli, Piergiorgio; 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
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
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 1-gen-2002 Audemard, Gilles; Bertoli, Piergiorgio; Cimatti, Alessandro; Kornilowicz, Artur; Sebastiani, Roberto
Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking 1-gen-2002 Bertoli, Piergiorgio; Cimatti, Alessandro; J., Slaney; S., Thiebaux
Plan Validation for Extended Goals under Partial Observability (preliminary report) 1-gen-2002 Bertoli, Piergiorgio; Cimatti, Alessandro; Pistore, Marco; Traverso, Paolo
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements 1-gen-2002 Audemard, Gilles; Bertoli, Piergiorgio; Cimatti, Alessandro; Kornilowicz, Artur; Sebastiani, Roberto
Interleaving Execution and Planning via Symbolic Model Checking 1-gen-2003 Bertoli, Piergiorgio; Cimatti, Alessandro; Traverso, Paolo
A Framework for Planning with Extended Goals under Partial Observability 1-gen-2003 Bertoli, Piergiorgio; Cimatti, Alessandro; Pistore, Marco; Traverso, Paolo
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 63
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