497 citations · 2.1k across the 297 of their papers we have counts for
28 papers · 1 filter
On the complexity of sabotage games for network security
Dhananjay Raju, Georgios Bakirtzis, Ufuk Topcu
Securing dynamic networks against adversarial actions is challenging because of the need to anticipate and counter strategic disruptions by adversarial entities within complex netw…
A Multifidelity Sim-to-Real Pipeline for Verifiable and Compositional Reinforcement Learning
Cyrus Neary, Christian Ellis, Aryaman Singh Samyal +2
We propose and demonstrate a compositional framework for training and verifying reinforcement learning (RL) systems within a multifidelity sim-to-real pipeline, in order to deploy…
Prebunking Design as a Defense Mechanism Against Misinformation Propagation on Social Networks
Yigit Ege Bayiz, Ufuk Topcu
The growing reliance on social media for news consumption necessitates effective countermeasures to mitigate the rapid spread of misinformation. Prebunking, a proactive method that…
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…
Privacy-Engineered Value Decomposition Networks for Cooperative Multi-Agent Reinforcement Learning
Parham Gohari, Matthew Hale, Ufuk Topcu
In cooperative multi-agent reinforcement learning (Co-MARL), a team of agents must jointly optimize the team's long-term rewards to learn a designated task. Optimizing rewards as a…
Fine-Tuning Language Models Using Formal Methods Feedback
Yunhao Yang, Neel P. Bhatt, Tyler Ingebrand +4
Although pre-trained language models encode generic knowledge beneficial for planning and control, they may fail to generate appropriate control policies for domain-specific tasks.…