7 citations · 11 across the 4 of their papers we have counts for
4 papers
Formal Methods for Autonomous Systems
Tichakorn Wongpiromsarn, Mahsa Ghasemi, Murat Cubuktepe +6
Formal methods refer to rigorous, mathematical approaches to system development and have played a key role in establishing the correctness of safety-critical systems. The main buil…
Verifiable Reinforcement Learning Systems via Compositionality
Cyrus Neary, Aryaman Singh Samyal, Christos Verginis +2
We propose a framework for verifiable and compositional reinforcement learning (RL) in which a collection of RL subsystems, each of which learns to accomplish a separate subtask, a…
Differential Privacy in Cooperative Multiagent Planning
Bo Chen, Calvin Hawkins, Mustafa O. Karabag +3
Privacy-aware multiagent systems must protect agents' sensitive data while simultaneously ensuring that agents accomplish their shared objectives. Towards this goal, we propose a f…
Physics-Informed Kernel Embeddings: Integrating Prior System Knowledge with Data-Driven Control
Adam J. Thorpe, Cyrus Neary, Franck Djeumou +2
Data-driven control algorithms use observations of system dynamics to construct an implicit model for the purpose of control. However, in practice, data-driven techniques often req…