activity
20102023
most citedEnd-to-End Safe Reinforcement Learning through Barrier Functions for Safety-Critical Continuous Control Tasks

43 citations · 168 across the 35 of their papers we have counts for

collaborators
Showing 2015 · cs.LOShow all

1 paper · 2 filters

cs.LO2015★ 4 cited

Symbolic construction of GR(1) contracts for synchronous systems with full information

Ioannis Filippidis, Richard M. Murray

This work proposes a symbolic algorithm for the construction of assume-guarantee specifications that allow multiple agents to cooperate. Each agent is assigned goals expressed in a…