English

IMITATOR4AMAS: Strategy Synthesis for STCTL

Logic in Computer Science 2026-02-12 v1 Multiagent Systems
Authors: Davide Catta , Adrien Lacroix , Wojciech Penczek , Laure Petrucci , Teofil Sidoruk
View on arXiv ↗ PDF ↗

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.

Cite

@article{arxiv.2602.10810,
  title  = {IMITATOR4AMAS: Strategy Synthesis for STCTL},
  author = {Davide Catta and Adrien Lacroix and Wojciech Penczek and Laure Petrucci and Teofil Sidoruk},
  journal= {arXiv preprint arXiv:2602.10810},
  year   = {2026}
}

Related papers

View all related →
Logic in Computer Science · Computer Science
Strategic (Timed) Computation Tree Logic
Jaime Arias, Wojciech Jamroga, Wojciech Penczek, Laure Petrucci +1
2023-10-20
Software Engineering · Computer Science
Time4sys2imi: A tool to formalize real-time system models under uncertainty
Étienne André, Jawher Jerray, Sahar Mhiri
2019-10-30
Artificial Intelligence · Computer Science
Incremental LTLf Synthesis
Giuseppe De Giacomo, Yves Lespérance, Gianmarco Parretti, Fabio Patrizi +1
2026-03-03
Logic in Computer Science · Computer Science
Practical Synthesis of Reactive Systems from LTL Specifications via Parity Games
Michael Luttenberger, Philipp J. Meyer, Salomon Sickert
2020-02-21
Logic in Computer Science · Computer Science
MsATL: a Tool for SAT-Based ATL Satisfiability Checking
Artur Niewiadomski, Magdalena Kacprzak, Damian Kurpiewski, Michał Knapik +2
2023-10-26
Robotics · Computer Science
Perception Imitation: Towards Synthesis-free Simulator for Autonomous Vehicles
Xiaoliang Ju, Yiyang Sun, Yiming Hao, Yikang Li +2
2023-04-20
Artificial Intelligence · Computer Science
SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning
Jan Kretinsky, Tobias Meggendorfer, Maximilian Prokop, Ashkan Zarkhah
2025-04-18
Multiagent Systems · Computer Science
A Model Checker for Natural Strategic Ability
Marco Aruta, Vadim Malvone, Aniello Murano
2024-10-21
Machine Learning · Computer Science
Interpretable Imitation Learning via Generative Adversarial STL Inference and Control
Wenliang Liu, Danyang Li, Erfan Aasi, Daniela Rus +2
2025-07-21
Systems and Control · Electrical Eng. & Systems
Controller Synthesis for Multi-Agent Systems With Intermittent Communication: A Metric Temporal Logic Approach
Zhe Xu, Federico M. Zegers, Bo Wu, Warren Dixon +1
2019-09-24
Artificial Intelligence · Computer Science
SemML 2.0: Synthesizing Controllers for LTL
Jan Křetínský, Tobias Meggendorfer, Maximilian Prokop
2026-04-28
Artificial Intelligence · Computer Science
Making Agents' Abilities Explicit
Yedi Zhang, Fu Song, Taolue Chen
2018-11-28
Logic in Computer Science · Computer Science
STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions
Damian Kurpiewski, Witold Pazderski, Wojciech Jamroga, Yan Kim
2023-10-31
Multiagent Systems · Computer Science
A Methodology to Engineer and Validate Dynamic Multi-level Multi-agent Based Simulations
Jean-Baptiste Soyez, Gildas Morvan, Daniel Dupont, Rochdi Merzouki
2013-11-21
Logic in Computer Science · Computer Science
A Benchmarks Library for Extended Parametric Timed Automata
Étienne André, Dylan Marinho, Jaco van de Pol
2021-06-21
Emerging Technologies · Computer Science
High-Quality Iterative Logic Compiler for In-Memory SIMD Computation with Tight Coupling of Synthesis and Scheduling
Xingyue Qian, Chenyang Lv, Zhezhi He, Weikang Qian
2024-12-04
Machine Learning · Computer Science
Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access
Christel Baier, Clemens Dubslaff, Patrick Wienhöft, Stefan J. Kiebel
2023-04-25
Logic in Computer Science · Computer Science
Quantified CTL with imperfect information
Raphaël Berthon, Bastien Maubert, Aniello Murano
2018-09-05
Computation and Language · Computer Science
Redefining Machine Simultaneous Interpretation: From Incremental Translation to Human-Like Strategies
Qianen Zhang, Satoshi Nakamura
2025-09-29
Software Engineering · Computer Science
Formalizing Time4sys using parametric timed automata
Étienne André
2019-07-31
Systems and Control · Electrical Eng. & Systems
Strategy Synthesis for Partially-known Switched Stochastic Systems
John Jackson, Luca Laurenti, Eric Frew, Morteza Lahijanian
2022-03-10
Machine Learning · Computer Science
Simulation-Enhanced Data Augmentation for Machine Learning Pathloss Prediction
Ahmed P. Mohamed, Byunghyun Lee, Yaguang Zhang, Max Hollingsworth +3
2024-02-07
Logic in Computer Science · Computer Science
Incorporating Monitors in Reactive Synthesis without Paying the Price
Shaun Azzopardi, Nir Piterman, Gerardo Schneider
2021-07-05
Logic in Computer Science · Computer Science
G4LTL-ST: Automatic Generation of PLC Programs
Chih-Hong Cheng, Chung-Hao Huang, Harald Ruess, Stefan Stattelmann
2014-05-16
Systems and Control · Computer Science
Multi-Agent Planning under Local LTL Specifications and Event-Based Synchronization
Jana Tumova, Dimos V. Dimarogonas
2016-10-27
R2 v1 2026-07-01T10:31:48.707Z