Model construction and priority synthesis for simple interaction systems

Keyphrases

• Interaction System 100%
• Model Building 100%
• Safety Properties 100%
• Graphical User Interface 50%
• Automatically Generate 50%
• Automata 50%
• Executable Code 50%
• C + + 50%
• Conflict Resolution 50%
• Component-based Systems 50%
• Game Analysis 50%
• Unsafe States 50%

Computer Science

• Synthesis Engine 100%
• Automaton 33%
• Software Development Tool 33%
• Graphical Interface 33%
• component based system 33%
• Analysis Engine 33%
• Executable Code 33%
• Desired Property 33%

Engineering

• Desired Property 100%
• Executable Code 100%