Verification of Multi-Agent Properties in Electronic Voting: A Case Study

Documenti analoghi

• Towards Assume-Guarantee Verification of Abilities in Stochastic Multi-Agent Systems
  di: Jamroga, Wojciech, et al.
  Pubblicazione: (2025)
• Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them
  di: Jamroga, Wojciech, et al.
  Pubblicazione: (2020)
• Asynchronous Agents with Perfect Recall: Model Reductions, Knowledge-Based Construction, and Model Checking for Coalitional Strategies
  di: Gurov, Dilian, et al.
  Pubblicazione: (2024)
• Formal Verification of Probabilistic Multi-Agent Systems for Ballistic Rocket Flight Using Probabilistic Alternating-Time Temporal Logic
  di: Kurpiewski, Damian, et al.
  Pubblicazione: (2025)
• Towards Probabilistic Strategic Timed CTL
  di: Jamroga, Wojciech, et al.
  Pubblicazione: (2026)