Login / Signup
Random Models for Evaluating Efficient Büchi Universality Checking.
Corey Fisher
Seth Fogarty
Moshe Y. Vardi
Published in:
ICLA (2017)
Keyphrases
</>
statistical models
probabilistic model
real time
cost effective
neural network
information systems
computationally expensive
data sets
data mining
decision making
three dimensional
database systems
search algorithm
expert systems