John Komp

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 5

Top Topics

Reinforcement Learning

User Requirements

Pattern Analysis

Top Venues

Publications

Ashutosh Gupta, John Komp, Abhay Singh Rajput, Shankaranarayanan Krishna, Ashutosh Trivedi, Namrita Varshney
Integrating Explanations in Learning LTL Specifications from Demonstrations. CoRR (2024)
Kalyani Dole, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna, Ashutosh Trivedi
Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements. AAAI (2023)
Kalyani Dole, Ashutosh Gupta, John Komp, Shankara Narayanan Krishna, Ashutosh Trivedi
Event-Triggered and Time-Triggered Duration Calculus for Model-Free Reinforcement Learning. RTSS (2021)
John D. Backes, Michael W. Whalen, Andrew Gacek, John Komp
On Implementing Real-time Specification Patterns Using Observers. CoRR (2016)
John D. Backes, Michael W. Whalen, Andrew Gacek, John Komp
On Implementing Real-Time Specification Patterns Using Observers. NFM (2016)
Dongjiang You, Sanjai Rayadurgam, Mats Per Erik Heimdahl, John Komp, BaekGyu Kim, Oleg Sokolsky
Executing Model-Based Tests on Platform-Specific Implementations (T). ASE (2015)
Anitha Murugesan, Mats Per Erik Heimdahl, Michael W. Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, BaekGyu Kim, Oleg Sokolsky, Insup Lee
From Requirements to Code: Model Based Development of a Medical Cyber Physical System. FHIES/SEHC (2014)