Cited By
View all- Boucherit AKhababa ACastro L(2019)Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri netsMultiagent and Grid Systems10.3233/MGS-18029814:4(403-418)Online publication date: 18-Jan-2019
- Bucheli SKroening DMartins RNatraj A(2015)From AgentSpeak to C for Safety Considerations in Unmanned Aerial VehiclesTowards Autonomous Robotic Systems10.1007/978-3-319-22416-9_9(69-81)Online publication date: 18-Jul-2015
- Doan TYao YAlechina NLogan BBazzan AHuhns MLomuscio AScerri P(2014)Verifying heterogeneous multi-agent programsProceedings of the 2014 international conference on Autonomous agents and multi-agent systems10.5555/2615731.2615758(149-156)Online publication date: 5-May-2014
- Show More Cited By