Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements

Keyphrases

• Behavioral Programming 100%
• Liveness 100%
• Behavioral Programs 100%
• Markov Decision Process 50%
• Execution Mechanism 50%
• One-based 25%
• System Requirements 25%
• Software System 25%
• Process-based 25%
• System Implementation 25%
• Automata 25%
• Formal Analysis 25%
• Deep Reinforcement Learning Algorithm 25%
• Safety Requirements 25%
• Single System 25%
• Requirements Patterns 25%
• Liveness Properties 25%
• Executable Specification 25%

Computer Science

• Markov Decision Process 100%
• Liveness 100%
• Behavioral Program 100%
• System Requirement 50%
• Software Systems 50%
• Reinforcement Learning 50%
• Quantitative Assessment 50%
• Automaton 50%
• Deep Reinforcement Learning 50%
• System Implementation 50%
• Liveness Property 50%