04b Atto di convegno in volume | Dipartimento di Ingegneria informatica, automatica e gestionale

04b Atto di convegno in volume

Time varying effective connectivity for describing brain network changes induced by a memory rehabilitation treatment
Investigating statistical differences in connectivity patterns properties at single subject level: A new resampling approach.
Towards a multimodal bioelectrical framework for the online mental workload evaluation
Robust Nonlinear Attitude Stabilization of a Spacecraft through Digital Implementation of an Immersion & Invariance Stabilizer
Lyapunov based attitude stabilization of an underactuated spacecraft with flexibilities
Nonlinear robust autopilot for rolling and lateral motions of an aerodynamic missile
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

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma