Towards Static Analysis of BDI Agents on CPS Using Petri Nets and Model-Driven Engineering.

Burak Karaduman, Baris Tekin Tezel, Moharram Challenger

Browse the full PAAMS paper archive.