Carr, Steven

1. Safe Reinforcement Learning via Shielding under Partial Observability
   2022/04/02 by Steven A. Carr, Nils Jansen, Carr, Steven +5 · 7 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Reinforcement Learning in Robotics
2. Dynamic Certification for Autonomous Systems
   2022/03/21 by Georgios Bakirtzis, Steven A. Carr, Bakirtzis, Georgios +5 · 2 citations
   Computer Science · Engineering · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Multiagent Systems (cs.MA) #Robotics (cs.RO) #Safety Systems Engineering in Autonomy #Systems and Control (eess.SY) #electronic engineering #information engineering
3. Fine-Tuning Language Models Using Formal Methods Feedback
   2023/10/27 by Yunhao Yang, Yang, Yunhao, Neel P. Bhatt +9 · 4 citations
   Computer Science · #Natural Language Processing Techniques #Topic Modeling #Machine Learning and Algorithms
4. Adaptive planning for risk-aware predictive digital twins
   2024/07/30 by Tezzele, Marco, Carr, Steven, Topcu, Ufuk +1 · 1 citation
   #FOS: Mathematics #Numerical Analysis (math.NA)