vGOAL: A GOAL-Based Specification Language for Safe Autonomous Decision-Making.
Yi YangTom HolvoetPublished in: EMAS (2023)
Keyphrases
- specification language
- decision making
- formal specification
- programming language
- description language
- software environment
- decision makers
- cooperative
- orders of magnitude
- symbolic execution
- data mining
- model checking
- heuristic search
- fine grained
- knowledge representation
- evolutionary algorithm
- requirements specification