6 citations · 11 across the 9 of their papers we have counts for
9 papers
Monitoring Diameters of Causal Communication Graph with Spatio-Temporal Logic
Lydia Bakiri, Jérémy Dubut, Sergio Mover
Verification of multi-agent systems requires the ability to check meticulous topological properties when it comes to agents that can move through space in continuous time. This dem…
Reconciling Spatial and Temporal Abstractions for Goal Representation
Mehdi Zadem, Sergio Mover, Sao Mai Nguyen
Goal representation affects the performance of Hierarchical Reinforcement Learning (HRL) algorithms by decomposing the complex learning problem into easier subtasks. Recent studies…
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…
Lifestate: Event-Driven Protocols and Callback Control Flow (Extended Version)
Shawn Meier, Sergio Mover, Bor-Yuh Evan Chang
Developing interactive applications (apps) against event-driven software frameworks such as Android is notoriously difficult. To create apps that behave as expected, developers mus…
DroidStar: Callback Typestates for Android Classes
Arjun Radhakrishna, Nicholas V. Lewchenko, Shawn Meier +5
Event-driven programming frameworks, such as Android, are based on components with asynchronous interfaces. The protocols for interacting with these components can often be describ…
Abstracting Event-Driven Systems with Lifestate Rules
Shawn Meier, Aleksandar Chakarov, Maxwell Russek +2
We present lifestate rules--an approach for abstracting event-driven object protocols. Developing applications against event-driven software frameworks is notoriously difficult. On…
IC3 Modulo Theories via Implicit Predicate Abstraction
Alessandro Cimatti, Alberto Griggio, Sergio Mover +1
We present a novel approach for generalizing the IC3 algorithm for invariant checking from finite-state to infinite-state transition systems, expressed over some background theorie…