1,262 followers
A Supervisory Control Algorithm Based on Property-Directed Reachability. https://t.co/9H6kW48KdP
A Supervisory Control Algorithm Based on Property-Directed Reachability. https://t.co/9H6kW48KdP
#arXiv #cs_LO "A Supervisory Control Algorithm Based on Property-Directed Reachability. (arXiv:1711.06501v1 [cs.SY])" https://t.co/nLNpzUtMUJ