Auflistung nach Autor "Greenyer, Joel"
Anzeige der Dokumente 1-3 von 3
-
Incrementally synthesizing controllers from scenario-based product line specifications
Greenyer, Joel; Brenner, Christian; Cordy, Maxime; Heymans, Patrick; Gressi, Erika
91-92 -
Symbolic Execution for Realizability-Checking of Scenario-based Specifications
Greenyer, Joel; Gutjahr, Timo
145-146 -
Synthesis of Cost-optimized Controllers from Scenario-based GR(1) Specifications
Gritzner, Daniel; Greenyer, Joel
167-182