research
∙
05/07/2023
Human or Machine: Reflections on Turing-Inspired Testing for the Everyday
Turing's 1950 paper introduced the famed "imitation game", a test origin...
share
research
∙
06/20/2022
Constrained Reinforcement Learning for Robotics via Scenario-Based Programming
Deep reinforcement learning (DRL) has achieved groundbreaking successes ...
research
∙
05/26/2022
Verifying Learning-Based Robotic Navigation Systems
Deep reinforcement learning (DRL) has become a dominant deep-learning pa...
research
∙
02/09/2022
Scenario-Assisted Deep Reinforcement Learning
Deep reinforcement learning has proven remarkably useful in training age...
research
∙
01/16/2020
Expecting the Unexpected: Developing Autonomous-System Design Principles for Reacting to Unpredicted Events and Conditions
When developing autonomous systems, engineers and other stakeholders mak...
research
∙
11/25/2019
Integrating Inter-Object Scenarios with Intra-object Statecharts for Developing Reactive Systems
In all software development projects, engineers face the challenge of tr...
research
∙
11/17/2019
Autonomics: In Search of a Foundation for Next Generation Autonomous Systems
The potential benefits of autonomous systems have been driving intensive...
research
∙
03/29/2016