Login / Signup
Abhay Singh Rajput
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Neural Network
Temporal Logic
High Level
Bounded Model Checking
Top Venues
CoRR
</>
Publications
</>
Ashutosh Gupta
,
John Komp
,
Abhay Singh Rajput
,
Shankaranarayanan Krishna
,
Ashutosh Trivedi
,
Namrita Varshney
Integrating Explanations in Learning LTL Specifications from Demonstrations.
CoRR
(2024)