Christopher K. Zeitler

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 4

Top Topics

Logical Framework

Optimal Control

Reinforcement Learning

Approximate Dynamic Programming

Top Venues

Publications

Kristina Miller, Christopher K. Zeitler, William Shen, Kerianne Hobbs, John Schierman, Mahesh Viswanathan, Sayan Mitra
Optimal Runtime Assurance via Reinforcement Learning. ICCPS (2024)
Kristina Miller, Christopher K. Zeitler, William Shen, Mahesh Viswanathan, Sayan Mitra
RTAEval: A framework for evaluating runtime assurance logic. CoRR (2023)
Kristina Miller, Christopher K. Zeitler, William Shen, Kerianne Hobbs, Sayan Mitra, John Schierman, Mahesh Viswanathan
Searching for Optimal Runtime Assurance via Reachability and Reinforcement Learning. CoRR (2023)
Kristina Miller, Christopher K. Zeitler, William Shen, Mahesh Viswanathan, Sayan Mitra
RTAEval: A Framework for Evaluating Runtime Assurance Logic. ATVA (2023)