Failures in complex systems controlled by human operators can be difficult to anticipate
because of unexpected interactions between the elements that compose the system …

Computational models of cognitive processes may be employed in cyber-security tools,
experiments, and simulations to address human agency and effective decision-making in …

Toward verified artificial intelligence Page 1 46 COMMUNICATIONS OF THE ACM | JULY
2022 | VOL. 65 | NO. 7 contributed articles ILL US TRA TION B Y PETER CRO W THER A …

We propose an approach to synthesize control protocols for autonomous systems that
account for uncertainties and imperfections in interactions with human operators. As an …

Conflicts between the pilot and the automation, when pilots detect but do not understand
them, cause" automation surprise" situations and jeopardize flight safety. We conducted an …

Explaining how to improve safety-critical systems to reduce risks to people and the
environment, this book introduces fundamental concepts and reviews issues related to the …

Software Engineering for Safety: A Roadmap Robyn Lutz Page 1 Software Engineering for
Safety: A Roadmap Robyn Lutz Key Research Pointers Provide readier access to formal …

This paper discusses concepts and tools for joint human and cyber-physical-systems
analysis and control in the view of increasing the whole system resilience. More precisely, it …

Simulator studies have been conducted in the automotive domain since the 1960s.
Recently, automated driving studies have become more popular as real-world automated …

The review of literature in sociology and distributed artificial intelligence reveals that the
occurrence of conflict is a remarkable precursor to the disruption of multi-agent systems. The …