@paves

Practical Synthesis of Reactive Systems from LTL Specifications via Parity Games.

, , and . CoRR (2019)To appear at Acta Informatica.

Links and resources

URL:
BibTeX key:
journals/corr/abs-1903-12576
search on:

Comments and Reviews  
(0)

There is no review or comment yet. You can write one!

Tags


Cite this publication