01a Articolo in rivista

Expressiveness and Nash Equilibrium in Iterated Boolean Games

We define and investigate a novel notion of expressiveness for temporal logics that is based on game theoretic equilibria of multi-agent systems. We use iterated Boolean games as our abstract model of multi-agent systems [Gutierrez et al. 2013, 2015a]. In such a game, each agent has a goal ,...
Reasoning about strategies: On the model-checking problem
EEG Resting-State Brain Topological Reorganization as a Function of Age
Brain-computer interface boosts motor imagery practice during stroke recovery
An EEG study on civil pilots during flight simulation
Investigating the effects of a sensorimotor rhythm-based BCI training on the cortical activity elicited by mental imagery
Multiple birds with one stone: Beating 1/2 for EFX and GMMS via envy cycle elimination
Feasibility-Driven Step Timing Adaptation for Robust MPC-Based Gait Generation in Humanoids

The feasibility region of a Model Predictive Control (MPC) algorithm is the subset of the state space in which the constrained optimization problem to be solved is feasible. In our recent Intrinsically Stable MPC (IS-MPC) method for humanoid gait generation, feasibility means being able to satisfy...
Deep reinforcement learning control of white-light continuum generation

White-light continuum (WLC) generation in bulk media finds numerous applications in ultrafast optics and spectroscopy. Due to the complexity of the underlying spatiotemporal dynamics, WLC optimization typically follows empirical procedures. Deep reinforcement learning (RL) is a branch of machine...
Feasibility-Driven Step Timing Adaptation for Robust MPC-Based Gait Generation in Humanoids

The feasibility region of a Model Predictive Control (MPC) algorithm is the subset of the state space in which the constrained optimization problem to be solved is feasible. In our recent Intrinsically Stable MPC (IS-MPC) method for humanoid gait generation, feasibility means being able to satisfy...