Inproceedings,

An iterative abstraction algorithm for reactive correct-by-construction controller synthesis.

, , and .
CDC, page 6147-6152. IEEE, (2015)

Meta data

Tags

Users

  • @dblp

Comments and Reviews