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

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

On most permissive observers in dynamic sensor optimization problems for discrete event systems.

Autor: Dallal, E., Lafortune, S.

Publikováno v: 2010 48th Annual Allerton Conference on Communication, Control & Computing (Allerton); 2010, p318-324, 7p

Offline supervisory control synthesis: taxonomy and recent developments.

Autor: Fokkink, Wan, Goorden, Martijn

Publikováno v: Discrete Event Dynamic Systems; Dec2024, Vol. 34 Issue 4, p605-657, 53p

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