Formal verification of Intelligent Mechatronic Systems with decentralized control logic.

Sandeep Patil, Valeriy Vyatkin, Majid Sorouri

Browse the full ETFA paper archive.