Login / Signup
Synthesis of Infinite-State Systems with Random Behavior.
Andreas Katis
Grigory Fedyukovich
Jeffrey Chen
David A. Greve
Sanjai Rayadurgam
Michael W. Whalen
Published in:
ASE (2020)
Keyphrases
</>
physical systems
distributed systems
databases
real world
information retrieval
multiscale
learning systems
systems require
behavior patterns
information systems
case study
probability distribution
management system
uniformly distributed
program synthesis
technical systems