Florida International University
Edit Your Profile
FIU Discovery
Toggle navigation
Browse
Home
People
Organizations
Scholarly & Creative Works
Research Facilities
Support
Edit Your Profile
RLCAP: Explaining RL using Logical Rules, Constraints, Automata and Program Synthesis
Grant
RLCAP: Explaining RL using Logical Rules, Constraints, Automata and Program Synthesis .
Share this citation
Twitter
Email
RLCAP: Explaining RL using Logical Rules, Constraints, Automata and Program Synthesis .
Copy Citation
Share
Overview
Affiliation
View All
Overview
date/time interval
May 15, 2023 - May 14, 2025
awarded by
U.S. Air Force Research Laboratory
subcontracted through
Ohio State University
Funding Organization
administered by
Knight Foundation School of Computing and Information Sciences
sponsor award ID
SPC-1000012891 | GR134512
Affiliation
contributor
Jha, Sumit Kumar
Principal Investigator
