Sign in
John Komp
Publication Activity (10 Years)
Years Active: 2014-2023
Publications (10 Years): 5
Top Topics
Temporal Difference Learning
Real Time
Reinforcement Learning
User Defined
Top Venues
RTSS
CoRR
ASE
AAAI
</>
Publications
</>
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)