On controller and plant modeling for model-based formal verification.

Andrei Lobov, Jose L. Martinez Lastra, Reijo Tuokko

Browse the full ETFA paper archive.