Compositional Reinforcement Learning from Logical Specifications

Autor: Kishor Jothimurugan, Bansal, S., Bastani, O., Alur, R.

Publikováno v: Scopus-Elsevier

We study the problem of learning control policies for complex tasks given by logical specifications. Recent approaches automatically generate a reward function from a given specification and use a suitable reinforcement learning algorithm to learn a

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::42277d9ea5d047ee59365d4bf5d8e4ee

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Syntax-Guided Synthesis

Autor: Alur, R, Bodik, R, Dallal, E, Fisman, D, Garg, P, Juniwal, G, Kress-Gazit, H, Madhusudan, P, Martin, MMK, Raghothaman, M, Saha, S, Seshia, SA, Singh, R, Solar-Lezama, A, Torlak, E, Udupa, A

Publikováno v: other univ website
Alur, R; Bodik, R; Dallal, E; Fisman, D; Garg, P; Juniwal, G; et al.Irlbeck, M; Peled, DA; & Pretschner, A eds. (2015). Syntax-Guided Synthesis. UC Berkeley: Retrieved from: http://www.escholarship.org/uc/item/2mc6110k

The classical formulation of the program-synthesis problem is to find a program that meets a correctness specification given as a logical formula. Recent work on program synthesis and program optimization illustrates many potential benefits of allowi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6b5547de49950c938b4069f0ff353640
https://hdl.handle.net/1721.1/137905.2