,

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

, , и .
CDC, стр. 6147-6152. IEEE, (2015)

Метаданные

тэги

Пользователи данного ресурса

  • @dblp

Комментарии и рецензии