FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Trace-view vs Strategy-view of the Environment in Reactive Synthesis

Author: Sasha Rubin

Paper Information

Title:Trace-view vs Strategy-view of the Environment in Reactive Synthesis
Authors:Sasha Rubin
Proceedings:VardiFest22 Talk Abstracts
Editors: Kuldeep S. Meel, Giuseppe De Giacomo, Kristin Yvonne Rozier, Priyanka Golia and Suwei Yang
Keywords:reactive synthesis, assumptions, best-effort synthesis
Pages:1
Paper: