research
∙
07/22/2022
Search-based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions
Search-based software testing (SBST) typically relies on fitness functio...
share
research
∙
07/19/2022
Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy
This volume contains the proceedings of the Second Workshop on Agents an...
research
∙
12/02/2021
Observations on Transitioning to Teaching Computer Science Online
The hit of the COVID-19 pandemic has hugely affected higher education in...
research
∙
11/29/2021
Is the Rush to Machine Learning Jeopardizing Safety? Results of a Survey
Machine learning (ML) is finding its way into safety-critical systems (S...
research
∙
12/03/2020
How to Formally Model Human in Collaborative Robotics
Human-robot collaboration (HRC) is an emerging trend of robotics that pr...
research
∙
07/23/2020
Statistical Model Checking of Human-Robot Interaction Scenarios
Robots are soon going to be deployed in non-industrial environments. Bef...
research
∙
07/23/2020