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

Satya Prakash Nayak Daniel Neider Martin Zimmermann

Published in: ISoLA (1) (2022)

Keyphrases

mobile robot
virtual world
complex environments
collaborative environment
real time
information systems
decision making
digital images
indoor environments
environmental conditions