Skip to main content
English
Italiano
Search form
Search
legibility:
standard
|
enhanced
Department of Computer, Control and Management Engineering
Toggle navigation
Department
Contacts
Foreword
How to reach us
Management
People
Structures
Laboratories
Classrooms
Library
Teaching
Study programs
PhD programs
Teaching laboratories
Multimedia
Research
Overview
Research areas
Research Laboratories
Seminars and events
Research reports
DIAG Reports
Technical reports
interdepartmental centers
Spin-offs
Public engagement
News
News
Events calendar
DIAG on 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
« first
‹ previous
…
438
439
440
441
442
443
444
445
446
…
next ›
last »
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma
