Skip to content

A Case Study on Using Automata in Control Synthesis.

Thomas Hune, Anders Sandholm

VenueBFASE
Year2000
ProceedingsFASE

Browse the full FASE paper archive.