research
∙
08/30/2022
Correct-by-Construction Runtime Enforcement in AI – A Survey
Runtime enforcement refers to the theories, techniques, and tools for en...
share
research
∙
07/22/2022
Natural Colors of Infinite Words
While finite automata have minimal DFAs as a simple and natural normal f...
research
∙
09/17/2021
Adapting to the Behavior of Environments with Bounded Memory
We study the problem of synthesizing implementations from temporal logic...
research
∙
01/27/2021
Safe Multi-Agent Reinforcement Learning via Shielding
Multi-agent reinforcement learning (MARL) has been increasingly used in ...
research
∙
07/29/2018
Exact Synthesis of ESOP Forms
We present an exact synthesis approach for computing Exclusive-or Sum-of...
research
∙
05/09/2018