On Invariant Synthesis for Parametric Systems.

Dennis Peuter Viorica Sofronie-Stokkermans

Published in: CADE (2019)

Keyphrases

image processing
decision trees
object recognition
expert systems
management system
distributed systems
intelligent systems
complex systems
social networks
multi agent systems
artificial neural networks
retrieval systems
systems require