IMITATOR4AMAS: Strategy Synthesis for STCTL

Davide Catta, Adrien Lacroix, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk
2/11/2026
cs.LOcs.MA

No confident code implementation found for this paper.

Abstract

IMITATOR4AMAS supports model checking and synthesis of memoryless imperfect information strategies for STCTL, interpreted over networks of parametric timed automata with asynchronous execution. While extending the verifier IMITATOR, IMITATOR4AMAS is the first tool for strategy synthesis in this setting. Our experimental results show a substantial speedup over previous approaches.

View on arXivView PDF

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. Any repos shown below are weak matches — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Similar Papers

MsATL: a Tool for SAT-Based ATL Satisfiability Checking

82% match2023

ATL*AS: An Automata-Theoretic Approach and Tool for the Verification of Strategic Abilities in Multi-Agent Systems

78% match2025

Score $\times$ Decoder: A Unified View of Unsupervised Inference-Time Scaling for Hallucination Mitigation

78% match2026

Multimodal Pretrained Models for Verifiable Sequential Decision-Making: Planning, Grounding, and Perception

77% match2023

A-IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking

77% match2026

Neural Model Checking

77% match1 repo322024

Cite this paper

@article{catta2026imitatoramas,
  title  = {IMITATOR4AMAS: Strategy Synthesis for STCTL},
  author = {Davide Catta and Adrien Lacroix and Wojciech Penczek and Laure Petrucci and Teofil Sidoruk},
  year   = {2026},
  eprint = {2602.10810},
  archivePrefix = {arXiv},
  url    = {http://arxiv.org/abs/2602.10810v1}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/2602.10810.svg)](https://codeofpaper.com/paper/2602.10810)

Discussion