Measure-adaptive state-space construction

Keyphrases

• Adaptive State 100%
• State Space Construction 100%
• State Space 50%
• Performance Measures 50%
• Markov Model 25%
• Reduced State 25%
• Path-based 25%
• Two-directional 25%
• Construction Technique 25%
• Developing States 25%
• Building Tools 25%
• High-level Model 25%
• Specification Technique 25%

Engineering

• Performance Measure ψ 100%
• Early Work 50%
• Model System 50%
• Level Model 50%
• Construction Technique 50%