Zobrazeno 1 - 10
of 435
pro vyhledávání: '"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
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.
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.
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.
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.
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.
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.
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.
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
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
https://hdl.handle.net/1721.1/137905.2
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.