6 citations · 11 across the 9 of their papers we have counts for
3 papers · 1 filter
Goal Space Abstraction in Hierarchical Reinforcement Learning via Reachability Analysis
Mehdi Zadem, Sergio Mover, Sao Mai Nguyen
Open-ended learning benefits immensely from the use of symbolic methods for goal representation as they offer ways to structure knowledge for efficient and transferable learning. H…
Historia: Refuting Callback Reachability with Message-History Logics (Extended Version)
Shawn Meier, Sergio Mover, Gowtham Kaki +1
This paper determines if a callback can be called by an event-driven framework in an unexpected state.Event-driven programming frameworks are pervasive for creating user-interactiv…
Goal Space Abstraction in Hierarchical Reinforcement Learning via Set-Based Reachability Analysis
Mehdi Zadem, Sergio Mover, Sao Mai Nguyen
Open-ended learning benefits immensely from the use of symbolic methods for goal representation as they offer ways to structure knowledge for efficient and transferable learning. H…