Learning deterministic probabilistic automata from a model checking perspective

Keyphrases

• Probabilistic Automata 100%
• Learning Algorithm 66%
• Learning Model 66%
• System Properties 66%
• Automata Model 66%
• Cult 33%
• Software System 33%
• Probabilistic Properties 33%
• Formal Analysis 33%
• Alergia 33%
• Probability Estimates 33%
• Formal Design 33%
• Linear Temporal Logic 33%
• System Behavior 33%
• Hardware System 33%
• Hard Systems 33%
• Timing System 33%
• System Verification 33%
• Theoretical Convergence 33%
• Reactive Systems 33%
• Statistical Model Checking 33%
• Convergence Property 33%
• Continuous Stochastic Logic 33%
• NiTe 33%

Computer Science

• Automaton 100%
• Model Checking 100%
• Learning Algorithm 50%
• Verification System 25%
• Good Approximation 25%
• Software Systems 25%
• Property System 25%
• Critical System 25%
• System Behavior 25%
• linear time temporal logic 25%
• Convergence Property 25%
• Computer Hardware 25%
• Statistical Model 25%