B Maude: A formal executable environment for Abstract Machine Notation Descriptions.
Christiano BragaNarciso Martí-OlietPublished in: CoRR (2021)
Keyphrases
- formal specification
- abstract machine
- mobile robot
- dynamic environments
- requirements specification
- mobile robotics
- formal methods
- software components
- data sets
- natural language descriptions
- environmental conditions
- urban environments
- neural network
- genetic algorithm
- real world
- real time
- data model
- relational databases
- information technology
- website
- artificial intelligence