Model-Based Policy Synthesis and Test-Case Generation for Autonomous Systems.

Rong Gu Eduard Enoiu

Published in: ICSTW (2023)

Keyphrases

autonomous systems
test case generation
test cases
software testing
object oriented systems
dynamic environments
test data generation
uncertain environments
test suite
autonomous navigation
java programs
database
multi agent
decision makers
genetic programming
unmanned aerial vehicles