related documents

• Controller Synthesis for Omega-Regular and Steady-State Specifications  Conference Proceeding
• Descriptive and Prescriptive Visual Guidance to Improve Shared Situational Awareness in Human-Robot Teaming  Conference Proceeding
• Translating Omega-Regular Specifications to Average Objectives for Model-Free Reinforcement Learning  Conference Proceeding