Papers: 10.1007/s00236-019-00351-9

https://doi.org/10.1007/s00236-019-00351-9

Performance heuristics for GR(1) synthesis and related algorithms

Cited by: 15
Author(s): Elizabeth Firman, Shahar Maoz, Jan Oliver Ringert
Published: almost 7 years ago

Software Mentions 2