Login / Signup
John Komp
Publication Activity (10 Years)
Years Active: 2014-2024
Publications (10 Years): 5
Top Topics
Low Cost
Reinforcement Learning
User Requirements
Pattern Analysis
Top Venues
CoRR
RTSS
ASE
AAAI
</>
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)