Formal verification of Intelligent Mechatronic Systems with decentralized control logic.

Sandeep Patil Valeriy Vyatkin Majid Sorouri

Published in: ETFA (2012)

Keyphrases

formal verification
decentralized control
bounded model checking
automated verification
intelligent systems
multiagent systems
model checking
model checker
information systems
distributed systems
artificial intelligence
computer systems
mobile agents
goal oriented