Formal Models of Control Systems.

Babak Sadighi Firozabadi, Leendert W. N. van der Torre

Browse the full ECAI paper archive.