Incorporating Monitors in Reactive Synthesis Without Paying the Price.

Shaun Azzopardi Nir Piterman Gerardo Schneider

Published in: ATVA (2021)

Keyphrases

image processing
real time
machine learning
three dimensional
trade off
agent architecture
analog circuits