An Environment for the ParTraP Trace Property Language (Tool Demonstration).
Ansem Ben CheikhYoann BleinSalim ChehidaGermán VegaYves LedruLydie du BousquetPublished in: RV (2018)
Keyphrases
- programming language
- robotic agents
- programming environment
- mobile robot
- complex environments
- artificial intelligence
- web environment
- language learning
- real time
- modeling language
- software tools
- specification language
- visualization tool
- object oriented programming
- simulation environment
- environmental conditions
- conceptual graphs
- conceptual model
- autonomous agents
- dynamic environments
- user interface
- natural language
- case study
- information retrieval