2017

Symbolic vs. Bounded Synthesis for Petri Games

Tags

Workshop

Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg, Germany, 22nd July 2017.

Date published

2017

Date last modified

2018-02-23 12:58:17

Authors

Download