Login / Signup

A bisimulation-like algorithm for abstracting control systems.

Andrew J. WagenmakerNecmiye Ozay
Published in: Allerton (2016)
Keyphrases