Multi-agent Logics with Interacting Agents Based on Linear Temporal Logic: Deciding Algorithms.

Vladimir V. Rybakov

Browse the full ICAISC paper archive.