Login / Signup

Counterexample-guided permissive supervisor synthesis for probabilistic systems through learning.

Bo WuHai Lin
Published in: ACC (2015)
Keyphrases