Login / Signup

Robustness of Temporal Logic Specifications.

Georgios E. FainekosGeorge J. Pappas
Published in: FATES/RV (2006)
Keyphrases