Peer-reviewed open-access journal
published since 1998 by Procon Ltd.

Volume

ISIJ 55: Open Source Intelligence, Artificial Intelligence, and Human-centered Approaches to Cybersecurity and Countering Disinformation

Views

Reviewed article

Safety Proofs for Automated Driving using Formal Methods

Yuvaraj Selvaraj

How to cite:

Yuvaraj Selvaraj

"Safety Proofs for Automated Driving using Formal Methods"

Department of Electrical Engineering Chalmers ,

doctor of philosophy,

(2022):

Authors:

Yuvaraj Selvaraj

Source:

Department of Electrical Engineering Chalmers ,

Volume: doctor of philosophy,

(2022)

Publisher:

University of Technology Gothenburg

Views

References

Mark Lawford, Alan Wassyng

"Formal Verification of Nuclear Systems: Past, Present, and Future."

Information & Security: An International Journal

28,

no. 2

(2012):

223-235.

Field of application

Concepts and Implementation

Policy, strategy and doctrine

Technologies

C4ISR

Architectures

Modelling and Simulation

OR & Systems Analysis

Cryptography

Data mining

Deep Learning & AI

Emerging Technologies

ISIJ 55: Open Source Intelligence, Artificial Intelligence, and Human-centered Approaches to Cybersecurity and Countering Disinformation

Safety Proofs for Automated Driving using Formal Methods

The C-factor in the Cybersecurity Equation: The Importance of Student Cybersecurity Competitions

On Inequalities Bounding Imprecision and Nonspecificity Measures of Uncertainty

On the Effectiveness of Measures of Uncertainty of Basic Belief Assignments

Blockchain in Agriculture

Safety Proofs for Automated Driving using Formal Methods

Authors:

Source:

Publisher:

Field of application

Concepts and Implementation

Technologies