CS 201: Formal Methods for a Robust Domain Name System, SIVA

Testing safety critical control systems

Software Engineering for AI-Based Systems: A Survey

Energies, Free Full-Text

A Humanist Paradigm for Tourism Studies?

Software Engineering for AI-Based Systems: A Survey

Intelligent Systems Design and Applicati, PDF, Computing

Anomaly diagnosis of connected autonomous vehicles: A survey - ScienceDirect

Automated Grading and Feedback Tools for Programming Education: A Systematic Review

Chapter 18: Climate Resilient Development Pathways Climate Change 2022: Impacts, Adaptation and Vulnerability

Law + Complexity & Prediction: Toward a Characterization of Legal Systems as Complex Systems - Professors Daniel Martin Katz + Michael J Bommarito

NeurIPS 2022

NeurIPS 2022

Sensors, Free Full-Text