• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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

Satya Prakash NayakDaniel NeiderMartin 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