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
Robust backstepping control of missile lateral and rolling motions in the presence of unmatched uncertainties
LTLf/LDLf Non-Markovian Rewards
On the Disruptive Effectiveness of Automated Planning for LTLf-Based Trace Alignment
Verifying congolog programs on bounded situation calculus theories
Synthesizing and executing plans in Knowledge and Action Bases
On First-Order μ-Calculus over Situation Calculus Action Theories
Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis
Implementing data-centric dynamic systems over a relational DBMS
Leveraging relational technology for data-centric dynamic systems
Service Composition with PDDL Representations and Visualization over Videogame Engines
« prima
‹ precedente
…
438
439
440
441
442
443
444
445
446
…
seguente ›
ultima »
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma
