Home
Publications
Projects
CV
Light
Dark
Automatic
Transfer Learning
PyReason-Gym: Symbolic logic simulator for Reinforcement Learning
A temporal and annotated-logic based simulation proxy that enables interpretable reinforcement learning
Kaustuv Mukherji
,
Devendra R. Parkar
,
Lahari Pokala
,
Dyuman Aditya
,
Paulo Shakarian
,
Clark Dorman
PDF
Code
Scalable Semantic Non-Markovian Simulation Proxy for Reinforcement Learning [In Press]
A temporal and annotated-logic based simulation proxy that enables interpretable reinforcement learning
[International Conference on Semantic Computing (ICSC 2024)]
Kaustuv Mukherji
,
Devendra R. Parkar
,
Lahari Pokala
,
Dyuman Aditya
,
Paulo Shakarian
,
Clark Dorman
Project
Video
DOI
Cite
×