scientific article; zbMATH DE number 1107560

zbMATH Open0886.68095MaRDI QIDQ4373489FDOQ4373489

Authors: Nimal Nissanke 

Publication date: 20 April 1998

Title of this publication is not available (Why is that?)

Recommendations

• A deontic logic analysis of autonomous systems' safety
• scientific article; zbMATH DE number 588315
• Safe reasoning with logic LTS
• Safe Reasoning with Logic LTS
• SAT-Based Synthesis Methods for Safety Specs
• A deontic logic reasoning infrastructure
• Safety, liveness and fairness in temporal logic
• An abstract interpretation-based model for safety semantics

zbMATH Keywords

deontic logichazardous system states

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

Cited In (2)

• Tableaux for realizability of safety specifications
• A deontic logic analysis of autonomous systems' safety

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4373489)