Sign in

Incorporating Monitors in Reactive Synthesis Without Paying the Price.

Shaun AzzopardiNir PitermanGerardo Schneider
Published in: ATVA (2021)
Keyphrases
  • image processing
  • real time
  • machine learning
  • three dimensional
  • trade off
  • agent architecture
  • analog circuits