Cited By
View all- Karaduman BTezel BChallenger MCombemale BWimmer MChechik MEgyed A(2024)Static Analysis of BDI Agents on CPS using Petri Nets and MDE TechniquesProceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems10.1145/3652620.3687819(1076-1085)Online publication date: 22-Sep-2024