From Requirements to Code: Model Based Development of a Medical Cyber Physical System. - Anitha Murugesan; Mats Per Erik Heimdahl; Michael W. Whalen; Sanjai Rayadurgam; John Komp; Lian Duan; BaekGyu Kim; Oleg Sokolsky; Insup Lee 001 (FHIES/SEHC, 2014)

Executing Model-Based Tests on Platform-Specific Implementations (T). - Dongjiang You; Sanjai Rayadurgam; Mats Per Erik Heimdahl; John Komp; BaekGyu Kim; Oleg Sokolsky (ASE, 2015)

On Implementing Real-Time Specification Patterns Using Observers. - John D. Backes; Michael W. Whalen; Andrew Gacek; John Komp (NFM, 2016)

Event-Triggered and Time-Triggered Duration Calculus for Model-Free Reinforcement Learning. - Kalyani Dole; Ashutosh Gupta; John Komp; Shankaranarayanan Krishna; Ashutosh Trivedi 001 (RTSS, 2021)

Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements. - Kalyani Dole; Ashutosh Gupta; John Komp; Shankaranarayanan Krishna; Ashutosh Trivedi 001 (AAAI, 2023)

Integrating Explanations in Learning LTL Specifications from Demonstrations. - Ashutosh Gupta; John Komp; Abhay Singh Rajput; Shankaranarayanan Krishna; Ashutosh Trivedi 001; Namrita Varshney (CoRR, 2024)

Show, Don't Tell: Learning Reward Machines from Demonstrations for Reinforcement Learning-Based Cardiac Pacemaker Synthesis. - John Komp; Dananjay Srinivas; Maria Leonor Pacheco; Ashutosh Trivedi 001 (CoRR, 2024)