All Stories

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

    Article • September 2024, ACM (Association for Computing Machinery)

    MOHARRAM CHALLENGER, Burak Karaduman