Efficient verification for stochastic mixed monotone systems.

Maxence Dutreix Samuel Coogan

Published in: ICCPS (2018)

Keyphrases

retrieval systems
machine learning
expert systems
upper bound
knowledge based systems
databases
learning algorithm
search engine
database systems
digital libraries
lower bound
distributed systems
logic programs
computationally expensive