Verifiable agent dialogues
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 4035108 (Why is no real title available?)
- scientific article; zbMATH DE number 1202873 (Why is no real title available?)
- scientific article; zbMATH DE number 2064229 (Why is no real title available?)
- scientific article; zbMATH DE number 2080578 (Why is no real title available?)
- A calculus of mobile processes. II
- Games that agents play: A formal framework for dialogues between autonomous agents
- Guarded commands, nondeterminacy and formal derivation of programs
- On agent-based software engineering
- Statecharts: a visual formalism for complex systems
Cited in
(9)- Towards verification of dialogue protocols: a mathematical model
- Model checking agent communication
- Contracts Violation: Justification via Argumentation
- Verification of Protocol Conformance and Agent Interoperability
- Logics in Artificial Intelligence
- Towards encoding of the transition relation in dialogue games model checking
- scientific article; zbMATH DE number 1948987 (Why is no real title available?)
- Protocol Synthesis with Dialogue Structure Theory
- Verifying Agents’ Conformance with Multiparty Protocols
This page was built for publication: Verifiable agent dialogues
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2372183)