Salta al contenuto principale
English
Italiano
Form di ricerca
Cerca
legibility:
standard
|
enhanced
Dipartimento di Ingegneria informatica, automatica e gestionale
Toggle navigation
Dipartimento
Home
Chi siamo
Dove siamo
Governo
Persone
Uffici
Trasparenza
Bandi
Commissioni
Strutture
Laboratori
Aule
Biblioteca
Didattica
Ricerca
Panoramica
Aree di ricerca
Gruppi di ricerca
Eventi e seminari
Progetti di ricerca
Keyword search
Visiting professors
Research Reports
DIAG Reports
Technical Reports
Centri interdipartimentali
Spin-off
Frequentatori esterni
Terza missione
Notizie
DIAG sui media
Seminars & events
Home
»
Tipologia Iris
»
04b Atto Di Convegno Volume
04b Atto di convegno in volume
Verification and synthesis in description logic based dynamic systems (abridged version)
Bounded situation calculus action theories and decidable verification
Verification of GSM-based artifact-centric systems through finite abstraction
Automatic generation and learning of finite-state controllers
Bounded situation calculus action theories (Extended abstract)
An abstraction technique for the verification of artifact-centric systems
Verification of deployed artifact systems via data abstraction
A computationally-grounded semantics for artifact-centric systems and abstraction results
An effective approach to realizing planning programs
Computing infinite plans for LTL goals using a classical planner
« prima
‹ precedente
…
440
441
442
443
444
445
446
447
448
…
seguente ›
ultima »
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma
