C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Deductive Proofs of Almost Sure Persistence and Recurrence Properties.
Aleksandar Chakarov
Yuen-Lam Voronin
Sriram Sankaranarayanan
Published in:
TACAS (2016)
Keyphrases
</>
structural properties
real time
data sets
information retrieval
decision making
open source
topological properties
neural network
machine learning
multiscale
objective function
object oriented
rough sets
decision procedures
deductive reasoning