scientific article

zbMath1483.68209arXiv1707.08756MaRDI QIDQ3384082

Ron van der Meyden

Publication date: 14 December 2021

Full work available at URL: https://arxiv.org/abs/1707.08756

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Approximate verification of strategic abilities under imperfect information

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The dining cryptographers problem: Unconditional sender and recipient untraceability
• A logical notion of conditional independence: properties and applications
• Nonserial dynamic programming
• Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic
• Embedding Logics in the Local Computation Framework
• Independence properties of directed markov fields
• Automatic verification of temporal-epistemic properties of cryptographic protocols
• Model Checking Knowledge and Linear Time: PSPACE Cases

This page was built for publication: