John Komp

Orcid: 0009-0009-7856-8433

According to our database1, John Komp authored at least 7 papers between 2014 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2014
2016
2018
2020
2022
2024
0
1
2
3
2
1
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Show, Don't Tell: Learning Reward Machines from Demonstrations for Reinforcement Learning-Based Cardiac Pacemaker Synthesis.
CoRR, 2024

Integrating Explanations in Learning LTL Specifications from Demonstrations.
CoRR, 2024

2023
Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2021
Event-Triggered and Time-Triggered Duration Calculus for Model-Free Reinforcement Learning.
Proceedings of the 42nd IEEE Real-Time Systems Symposium, 2021

2016
On Implementing Real-Time Specification Patterns Using Observers.
Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

2015
Executing Model-Based Tests on Platform-Specific Implementations (T).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

2014
From Requirements to Code: Model Based Development of a Medical Cyber Physical System.
Proceedings of the Software Engineering in Health Care - 4th International Symposium, 2014


  Loading...