Smallest Ellipsoid Containing p-Sum of Ellipsoids with Application to Reachability Analysis.

Abhishek Halder

Published in: CoRR (2018)

Keyphrases

reachability analysis
markov decision processes
knowledge base
relational databases
linear programming
sufficient conditions
weighted sum
timed automata