scientific article; zbMATH DE number 1107560

MaRDI QIDQ4373489zbMATH OpenFDO

Authors Nimal Nissanke

Publication date 20 April 1998

zbMATH Keywords

deontic logichazardous system states

Mathematics Subject Classification ID

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

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

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)