Login / Signup
Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach.
Adnane Saoud
Pushpak Jagtap
Majid Zamani
Antoine Girard
Published in:
CoRR (2020)
Keyphrases
</>
management system
databases
genetic algorithm
database systems
multi agent
control system
low level
mobile robot
complex systems