research
∙
09/14/2023
Goal Space Abstraction in Hierarchical Reinforcement Learning via Set-Based Reachability Analysis
Open-ended learning benefits immensely from the use of symbolic methods ...
share
research
∙
09/12/2023
Goal Space Abstraction in Hierarchical Reinforcement Learning via Reachability Analysis
Open-ended learning benefits immensely from the use of symbolic methods ...
research
∙
09/08/2023
Historia: Refuting Callback Reachability with Message-History Logics (Extended Version)
This paper determines if a callback can be called by an event-driven fra...
research
∙
06/12/2019
Lifestate: Event-Driven Protocols and Callback Control Flow (Extended Version)
Developing interactive applications (apps) against event-driven software...
research
∙
06/12/2019