HooVer: A Framework for Verification and Parameter Synthesis in Stochastic Systems using Optimistic Optimization

Keyphrases

• Stochastic Systems 100%
• Synthesis Parameters 100%
• Sampling Efficiency 100%
• Optimistic Optimization 100%
• Batch Size 66%
• Markov Chain 33%
• Control System 33%
• Computational Tools 33%
• Mini 33%
• Black Box 33%
• Dynamical Systems 33%
• Optimization Algorithm 33%
• Size Parameter 33%
• Memory Consumption 33%
• Machine Learning 33%
• Cyber-physical Systems 33%
• Continuous State Space 33%
• Problem Class 33%
• Formal Verification 33%
• Linear Quadratic Regulator 33%
• Near-optimality 33%
• Formal Parameter 33%
• Open-source Tools 33%
• Multi-arm Bandit 33%
• Multi-armed Bandit Problem 33%
• Regret Bounds 33%
• Probabilistic Verification 33%
• Bandit Algorithms 33%
• Computational Budget 33%
• Bandit Theory 33%
• Analyzing Model 33%

Computer Science

• Objective Function 100%
• Hierarchical Algorithm 100%
• Stochastic System 100%
• Machine Learning 50%
• And-States 50%
• Optimization Algorithm 50%
• State Space 50%
• Dynamical System 50%
• Markov Chain 50%
• Cyber Physical Systems 50%
• Formal Verification 50%
• Open Source Tool 50%
• Size Parameter 50%

Mathematics

• Stochastic System 100%
• Objective Function 100%
• Batch Size 100%
• Sample Efficiency 100%
• Optimality 50%
• Dynamical System 50%
• Physical System 50%
• Wide Variety 50%
• Markov Chain 50%
• Initial State 50%
• Black Box 50%
• Considered Class 50%