TY  - RPRT
TI  - A Supervisory Control Algorithm Based on Property-Directed Reachability
AU  - Koen Claessen
AU  - Jonatan Kilhamn
AU  - Laura Kovács
AU  - Bengt Lennartson
PY  - 2017
DO  - 10.1007/978-3-319-70389-3_8
UR  - https://arxiv.org/abs/1711.06501
ID  - 1711.06501
ER  -