AgentSpeakTranslator: Prototype Version for TAROS 2015
| Main Authors: | Bucheli, Samuel, Kroening, Daniel, Martins, Ruben, Natraj, Ashutosh |
|---|---|
| Format: | info software |
| Terbitan: |
, 2015
|
| Subjects: | |
| Online Access: |
https://zenodo.org/record/18572 |
Daftar Isi:
- Prototype version of the AgentSpeak translator presented in "From AgentSpeak to C for Safety Considerations in Unmanned Aerial Vehicles" by Samuel Bucheli, Daniel Kroening, Ruben Martins, and Ashutosh Natraj at TAROS 2015. For more information see http://www.cprover.org/UAVs/TAROS2015/