Verified Synthesis of Knowledge-Based Programs in Finite Synchronous Environments
From MaRDI portal
Publication:3087999
DOI10.1007/978-3-642-22863-6_9zbMath1342.68284OpenAlexW1588001996MaRDI QIDQ3087999
Publication date: 17 August 2011
Published in: Interactive Theorem Proving (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-22863-6_9
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Isabelle/HOL. A proof assistant for higher-order logic
- Describing an algorithm by Hopcroft
- Verified Synthesis of Knowledge-Based Programs in Finite Synchronous Environments
- Formalizing the Logic-Automaton Connection
- Code Generation via Higher-Order Rewrite Systems
- Multiagent Systems
- Data Refinement
- The dynamic logic of permission
- Computer Aided Verification
- Logic for Programming, Artificial Intelligence, and Reasoning
- The Isabelle Collections Framework
- Interpretation of Locales in Isabelle: Theories and Proof Contexts
- General Bindings and Alpha-Equivalence in Nominal Isabelle
This page was built for publication: Verified Synthesis of Knowledge-Based Programs in Finite Synchronous Environments