Published June 15, 2015 | Version v0.1
Software Open

AgentSpeakTranslator: Prototype Version for TAROS 2015

Authors/Creators

  • 1. University of Oxford

Description

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/

Files

AgentSpeakTranslator-v0.1.zip

Files (263.2 kB)

Name Size Download all
md5:405d8a14424d7f93968e75161c22c56b
263.2 kB Preview Download

Additional details

Related works

Is supplement to
https://github.com/OxfordUAVAutonomy/AgentSpeakTranslator/tree/v0.1 (URL)