scientific article; zbMATH DE number 1512613
From MaRDI portal
Publication:4508297
zbMath0961.68031MaRDI QIDQ4508297
Yoram Moses, Ron van der Meyden, Kai Engelhardt
Publication date: 3 October 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Automated systems (robots, etc.) in control theory (93C85) Logics of knowledge and belief (including belief change) (03B42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
A knowledge-based analysis of global function computation ⋮ Verified Synthesis of Knowledge-Based Programs in Finite Synchronous Environments
This page was built for publication:
