Static Analysis of BDI Agents on CPS using Petri Nets and MDE Techniques.

Burak Karaduman, Baris Tekin Tezel, Moharram Challenger

Browse the full MODELS paper archive.