6 papers
Asymptotically complete free-energy dissipation: a coarse MLSI holds at any positive temperature
Jonas Köppl, Yannic Steenbeck
Everybody learns in school that an out-of-equilibrium system coupled to a heat bath at a fixed temperature evolves to thermodynamic equilibrium as time goes on, and the free energy…
Temporal Logic Guidance for Action-Only Diffusion Policies with World Models
Moritz Zoellner, Anastasios Manganaris, Rohan Paleja
Diffusion policies enable multimodal robot behavior but offer limited ability to choose among behavior modes at inference time, even though such control is desirable in human-robot…
Physics-informed Goal-Conditioned Reinforcement Learning under Hybrid Contact Dynamics
Vittorio Giammarino, Anastasios Manganaris, Ahmed H. Qureshi
Learning to reach arbitrary goals from sparse feedback requires agents to infer a rich notion of reachability across state--goal pairs. Goal-conditioned reinforcement learning (GCR…
Graph-of-Constraints Model Predictive Control for Reactive Multi-agent Task and Motion Planning
Anastasios Manganaris, Jeremy Lu, Ahmed H. Qureshi +1
Sequences of interdependent geometric constraints are central to many multi-agent Task and Motion Planning (TAMP) problems. However, existing methods for handling such constraint s…
Formal Methods in Robot Policy Learning and Verification: A Survey on Current Techniques and Future Directions
Anastasios Manganaris, Vittorio Giammarino, Ahmed H. Qureshi +1
As hardware and software systems have grown in complexity, formal methods have been indispensable tools for rigorously specifying acceptable behaviors, synthesizing programs to mee…
Automaton Constrained Q-Learning
Anastasios Manganaris, Vittorio Giammarino, Ahmed H. Qureshi
Real-world robotic tasks often require agents to achieve sequences of goals while respecting time-varying safety constraints. However, standard Reinforcement Learning (RL) paradigm…