From AgentSpeak to C for Safety Considerations in Unmanned Aerial Vehicles-Reference-Cited by-同舟云学术

From AgentSpeak to C for Safety Considerations in Unmanned Aerial Vehicles

Published:2015 Issue: Volume: Page:69-81
ISSN:0302-9743
Container-title:Towards Autonomous Robotic Systems
language:
Short-container-title:

Author:

Bucheli Samuel,Kroening Daniel,Martins Ruben,Natraj Ashutosh

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-22416-9_9

Reference44 articles.

1. Agrawal, A., Simon, G., Karsai, G.: Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations. Electronic Notes in Theoretical Computer Science 109, 43–56 (2004)

2. Bordini, R.H., Braubach, L., Dastani, M., Fallah-Seghrouchni, A.E., Gómez-Sanz, J., Leite, J., O’Hare, G., Pokahr, A., Ricci, A.: A Survey of Programming Languages and Platforms for Multi-Agent Systems. Informatica 30(1), 33–44 (2006)

3. Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Verifying Multi-agent Programs by Model Checking. Autonomous Agents and Multi-Agent Systems 12(2), 239–256 (2006)

4. Bordini, R.H., Hübner, J.F.: Semantics for the jason variant of agentspeak (plan failure and some internal actions). In: European Conference on Artificial Intelligence, pp. 635–640. IOS Press (2010)

5. Bordini, R.H., Hübner, J.F., Wooldridge, M.: Programming Multi-Agent Systems in AgentSpeak Using Jason. John Wiley & Sons (2007)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Embedding Autonomous Agents into Low-Power Wireless Sensor Networks;Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection;2023

2. Increasing the Intelligence of Low-Power Sensors with Autonomous Agents;Proceedings of the 20th ACM Conference on Embedded Networked Sensor Systems;2022-11-06

3. Multi-agent systems with virtual stigmergy;Science of Computer Programming;2020-02

4. From Raw Data to Agent Perceptions for Simulation, Verification, and Monitoring;AMB INTELL SMART ENV;2016