Efficient Symbolic Approaches for Quantitative Reactive Synthesis with Finite Tasks.

Karan Muvvala Morteza Lahijanian

Published in: CoRR (2023)

Keyphrases

strengths and weaknesses
lightweight
neural network
alternative approaches
application scenarios
databases
machine learning
computationally efficient
finite number
database
multiscale
recommender systems
multiple tasks