APA (7th ed.) Citation

Catta, D., Lacroix, A., Penczek, W., Petrucci, L., & Sidoruk, T. (2026). IMITATOR4AMAS: Strategy Synthesis for STCTL.

Chicago Style (17th ed.) Citation

Catta, Davide, Adrien Lacroix, Wojciech Penczek, Laure Petrucci, and Teofil Sidoruk. IMITATOR4AMAS: Strategy Synthesis for STCTL. 2026.

MLA (9th ed.) Citation

Catta, Davide, et al. IMITATOR4AMAS: Strategy Synthesis for STCTL. 2026.