From ATL to Stit
Logic in Computer Science
2023-02-16 v1 Logic
Authors:
Aldo Iván Ramírez Abarca
Abstract
I present a technical embedding of alternating-time temporal logic into stit theory.
Cite
@article{arxiv.2302.07332,
title = {From ATL to Stit},
author = {Aldo Iván Ramírez Abarca},
journal= {arXiv preprint arXiv:2302.07332},
year = {2023}
}
Comments
Preprint
Related papers
View all related →
Logic in Computer Science · Computer Science
A Neutral Temporal Deontic STIT Logic
Kees van Berkel, Tim Lyon
2019-11-19
Artificial Intelligence · Computer Science
Standpoint Linear Temporal Logic
Nicola Gigante, Lucia {Gomez Alvarez}, Tim S. Lyon
2023-04-28
Logic in Computer Science · Computer Science
A Program Logic to Verify Signal Temporal Logic Specifications of Hybrid Systems: Extended Technical Report
Hammad Ahmad, Jean-Baptiste Jeannin
2021-03-17
Logic in Computer Science · Computer Science
Reducing Validity in Epistemic ATL to Validity in Epistemic CTL
Dimitar P. Guelev
2013-03-05
Artificial Intelligence · Computer Science
Reasoning about Agent Programs using ATL-like Logics
Nitin Yadav, Sebastian Sardina
2016-07-05
Logic in Computer Science · Computer Science
Cumulative-Time Signal Temporal Logic
Hongkai Chen, Zeyu Zhang, Shouvik Roy, Ezio Bartocci +3
2025-04-15
Systems and Control · Computer Science
Robust Temporal Logic Model Predictive Control
Sadra Sadraddini, Calin Belta
2016-05-24
Logic · Mathematics
A discrete-time temporal deontic STIT logic based on interpreted systems
Shuge Rong, Yifeng Ding
2025-11-13
Logic in Computer Science · Computer Science
Learning Branching-Time Properties in CTL and ATL via Constraint Solving
Benjamin Bordais, Daniel Neider, Rajarshi Roy
2024-07-01
Robotics · Computer Science
Signal Temporal Logic Synthesis as Probabilistic Inference
Ki Myung Brian Lee, Chanyeol Yoo, Robert Fitch
2021-05-14
Computational Engineering, Finance, and Science · Computer Science
On Expressing and Monitoring Oscillatory Dynamics
Petr Dluhoš, Luboš Brim, David Šafránek
2012-08-21
Logic in Computer Science · Computer Science
Distributed States Temporal Logic
Carlo Montangero, Laura Semini
2016-08-31
Artificial Intelligence · Computer Science
Uncertainty-Aware Signal Temporal Logic Inference
Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu +1
2021-06-01
Logic in Computer Science · Computer Science
Robust Alternating-Time Temporal Logic
Aniello Murano, Daniel Neider, Martin Zimmermann
2023-07-21
Logic in Computer Science · Computer Science
Tableau-based decision procedures for logics of strategic ability in multi-agent systems
Valentin Goranko, Dmitry Shkatov
2008-09-09
Neurons and Cognition · Quantitative Biology
Time-Integrated Spike-Timing-Dependent-Plasticity
William Gebhardt, Alexander G. Ororbia
2024-07-16
Logic in Computer Science · Computer Science
On relating CTL to Datalog
Foto Afrati, Theodore Andronikos, Vassia Pavlaki, Eugenie Foustoucos +1
2016-08-31
Systems and Control · Computer Science
Time Robustness in MTL and Expressivity in Hybrid System Falsification (Extended Version)
Takumi Akazaki, Ichiro Hasuo
2015-05-28
Logic in Computer Science · Computer Science
Counting CTL
François Laroussinie, Antoine Meyer, Eudes Petonnet
2015-07-01
Logic in Computer Science · Computer Science
A temporal logic approach to modular design of synthetic biological circuits
Ezio Bartocci, Luca Bortolussi, Laura Nenzi
2013-06-20
Artificial Intelligence · Computer Science
Making Agents' Abilities Explicit
Yedi Zhang, Fu Song, Taolue Chen
2018-11-28
Computation and Language · Computer Science
Structural-Ambiguity-Aware Translation from Natural Language to Signal Temporal Logic
Kosei Fushimi, Kazunobu Serizawa, Junya Ikemoto, Kazumune Hashimoto
2026-03-31
Robotics · Computer Science
Signal Temporal Logic Planning with Time-Varying Robustness
Yating Yuan, Thanin Quartz, Jun Liu
2024-10-01
Systems and Control · Electrical Eng. & Systems
Signal Temporal Logic Verification and Synthesis Using Deep Reachability Analysis and Layered Control Architecture
Joonwon Choi, Kartik Anand Pant, Youngim Nam, Henry Hellmann +2
2026-02-27
Artificial Intelligence · Computer Science
Towards Metric Temporal Answer Set Programming
Pedro Cabalar, Martin Dieguez, Torsten Schaub, Anna Schuhmann
2020-09-23