Autonomous Vehicles and Avoiding the Trolley (Dilemma): Vehicle Perception, Classification, and the Challenges of Framing Decision Ethics

Systems, Software and Services Process Improvement

The TAC Toolkit: Supporting Design for User Acceptance of Health Technologies from a Macro-Temporal Perspective

Thinking responsibly about responsible AI and {textquoteleft}the dark side’ of AI

Time is of the essence: a systematic literature review of temporality in information systems development research

Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2017

Towards An Optimised Vehicle Detection Algorithm For Multi-Object Tracking In Traffic Surveillance

Towards Real-Time Robust Adaptive Control for Non-Stationary Environments

Robust adaptive control (RAC) approaches have many state-of-the-art capabilities; however, they cannot provide near-real-time performance, especially for novel fault conditions. To address such issues, we introduce a framework called Intelligent Robust Adaptive Control (IRAC) for switched systems, which is based on randomized blending of controllers’ actions. We show how our approach provides guarantees for stability,...

Algorithmic Colonization of Africa

Analysis of Urban Traffic Incidents Through Road Network Features