Modelling and Verifying Robotic Software that Uses Neural Networks.
Ziggy AttalaAna CavalcantiJim WoodcockPublished in: ICTAC (2023)
Keyphrases
- neural network
- pattern recognition
- software development
- software design
- software maintenance
- fuzzy logic
- source code
- software tools
- self organizing maps
- software packages
- real time
- software systems
- neural nets
- software platform
- software testing
- genetic algorithm
- multi layer perceptron
- mobile robot
- software architecture
- artificial neural networks
- back propagation
- computer systems
- model checking
- feed forward
- recurrent neural networks
- associative memory
- website
- network architecture
- artificial intelligence
- user interface
- operating system
- software package
- machine learning
- hardware design
- commercial software