Zobrazeno 1 - 10
of 44
pro vyhledávání: '"Mover, Sergio"'
Publikováno v:
ICLR 2024
Goal representation affects the performance of Hierarchical Reinforcement Learning (HRL) algorithms by decomposing the complex learning problem into easier subtasks. Recent studies show that representations that preserve temporally abstract environme
Externí odkaz:
http://arxiv.org/abs/2401.09870
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. However, the existing Hierarchical Reinforcement Learning (HRL) approac
Externí odkaz:
http://arxiv.org/abs/2309.07675
Publikováno v:
Intrinsically Motivated Open-ended Learning IMOL 2023, Sep 2023, Paris, France
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. However, the existing Hierarchical Reinforcement Learning (HRL) approac
Externí odkaz:
http://arxiv.org/abs/2309.07168
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-interactive apps on just about every modern platform.Control flow between callba
Externí odkaz:
http://arxiv.org/abs/2309.04464
Developing interactive applications (apps) against event-driven software frameworks such as Android is notoriously difficult. To create apps that behave as expected, developers must follow complex and often implicit asynchronous programming protocols
Externí odkaz:
http://arxiv.org/abs/1906.04924
Autor:
Radhakrishna, Arjun, Lewchenko, Nicholas V., Meier, Shawn, Mover, Sergio, Sripada, Krishna Chaitanya, Zufferey, Damien, Chang, Bor-Yuh Evan, Černý, Pavol
Event-driven programming frameworks, such as Android, are based on components with asynchronous interfaces. The protocols for interacting with these components can often be described by finite-state machines we dub *callback typestates*. Callback typ
Externí odkaz:
http://arxiv.org/abs/1701.07842
We present lifestate rules--an approach for abstracting event-driven object protocols. Developing applications against event-driven software frameworks is notoriously difficult. One reason why is that to create functioning applications, developers mu
Externí odkaz:
http://arxiv.org/abs/1701.00161
Autor:
Mover, Sergio
Embedded systems are formed by hardware and software components that interact with the physical environment and thus may be modeled as Hybrid Systems. Due to the complexity the system,there is an increasing need of automatic techniques to support the
Externí odkaz:
https://hdl.handle.net/11572/368887
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 theories. The procedure is based on a tight integration of IC3 with Implicit
Externí odkaz:
http://arxiv.org/abs/1310.6847
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.