Christopher K. Zeitler

According to our database, Christopher K. Zeitler authored at least 4 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Optimizing Rewards while meeting $\omega$-regular Constraints.

Christopher K. Zeitler, Kristina Miller, Sayan Mitra, John Schierman, Mahesh Viswanathan

RLJ, 2024

Optimal Runtime Assurance via Reinforcement Learning.

Kristina Miller, Christopher K. Zeitler, William Shen, Kerianne Hobbs, John Schierman, Mahesh Viswanathan, Sayan Mitra

Proceedings of the 15th ACM/IEEE International Conference on Cyber-Physical Systems, 2024

2023

Searching for Optimal Runtime Assurance via Reachability and Reinforcement Learning.

Kristina Miller, Christopher K. Zeitler, William Shen, Kerianne Hobbs, Sayan Mitra, John Schierman, Mahesh Viswanathan

CoRR, 2023

RTAEval: A Framework for Evaluating Runtime Assurance Logic.

Kristina Miller, Christopher K. Zeitler, William Shen, Mahesh Viswanathan, Sayan Mitra

Proceedings of the Automated Technology for Verification and Analysis, 2023