A Case Study on Using Automata in Control Synthesis
From BibNetWiki
- @j-LECT-NOTES-COMP-SCI 1783:349--??, 2000
- Url BibtexAuthor : Thomas Hune, Anders Sandholm
Title : A Case Study on Using Automata in Control Synthesis
Publication Type : @j-LECT-NOTES-COMP-SCI -
Address :
Date : 2000
