simpleAPL

swMATH6574MaRDI QIDQ18666FDOQ18666

Author name not available (Why is that?)

Described by source

• Using Theorem Proving to Verify Properties of Agent Programs

Cited In (2)

• Bounded situation calculus action theories
• Relating two standard notions of secrecy

This page was built for software: simpleAPL