Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime.

Satya Prakash Nayak Daniel Neider Martin Zimmermann

Published in: CoRR (2022)

Keyphrases

autonomous agents
mobile robot
complex environments
neural network
decision making
multi agent
digital libraries
artificial neural networks
dynamic environments
test bed
construction process
program synthesis