Efficient Reactive Synthesis.

Xin Ye Harald Ruess

Published in: CoRR (2024)

Keyphrases

computationally expensive
agent architecture
database
real time
databases
artificial intelligence
information systems
image processing
data structure
data model
special case
cost effective