John Komp

PhD student, University of Colorado at Boulder

Joined

May 2024

Names

John Komp (Preferred)

Emails

****@colorado.edu (Confirmed)

Personal Links

DBLP

ORCID

Career & Education History

PhD student

University of Colorado at Boulder (colorado.edu)

2013 – Present

Advisors, Relations & Conflicts

PhD Advisor

Ashutosh Trivedi

2017 – Present

Expertise

Formal Logic

Reinforcement Learning

Present

Medical Devices

Cyber Physical Systems

Present

Publications

Integrating Explanations in Learning LTL Specifications from Demonstrations
Ashutosh Gupta, John Komp, Abhay Singh Rajput, Shankaranarayanan Krishna, Ashutosh Trivedi, Namrita Varshney
- CoRR 2024
- Readers: Everyone
Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements
Kalyani Dole, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna, Ashutosh Trivedi
- AAAI 2023
- Readers: Everyone
Event-Triggered and Time-Triggered Duration Calculus for Model-Free Reinforcement Learning
Kalyani Dole, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna, Ashutosh Trivedi
- RTSS 2021
- Readers: Everyone
On Implementing Real-Time Specification Patterns Using Observers
John D. Backes, Michael W. Whalen, Andrew Gacek, John Komp
- NFM 2016
- Readers: Everyone
On Implementing Real-time Specification Patterns Using Observers
John D. Backes, Michael W. Whalen, Andrew Gacek, John Komp
- CoRR 2016
- Readers: Everyone
Executing Model-Based Tests on Platform-Specific Implementations (T)
Dongjiang You, Sanjai Rayadurgam, Mats Per Erik Heimdahl, John Komp, BaekGyu Kim, Oleg Sokolsky
- Published: 01 Jan 2015, Last Modified: 12 May 2023
- ASE 2015
- Readers: Everyone
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
- Published: 01 Jan 2014, Last Modified: 12 May 2023
- FHIES/SEHC 2014
- Readers: Everyone

John Komp

Names

Emails

Personal Links

Career & Education History

Advisors, Relations & Conflicts

Expertise

Publications

Integrating Explanations in Learning LTL Specifications from Demonstrations

Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements

Event-Triggered and Time-Triggered Duration Calculus for Model-Free Reinforcement Learning

On Implementing Real-Time Specification Patterns Using Observers

On Implementing Real-time Specification Patterns Using Observers

Executing Model-Based Tests on Platform-Specific Implementations (T)

From Requirements to Code: Model Based Development of a Medical Cyber Physical System

Co-Authors