AI Chat AI Image Generator AI Video Text to Speech

From ATL to Stit

02/14/2023
∙
by   Aldo Iván Ramírez Abarca, et al.
∙
0
∙

I present a technical embedding of alternating-time temporal logic into stit theory.

READ FULL TEXT

page 1

page 2

page 3

page 4

Related Research

research
∙ 05/30/2023

The Alternating-Time μ-Calculus With Disjunctive Explicit Strategies

Alternating-time temporal logic (ATL) and its extensions, including the ...
0 Merlin Humml, et al. ∙
research
∙ 12/25/2020

Standard Grammars for LTL and LDL (v0.1.0)

The heterogeneity of tools that support temporal logic formulae poses se...
0 Marco Favorito, et al. ∙
research
∙ 02/28/2023

Playing to Learn, or to Keep Secret: Alternating-Time Logic Meets Information Theory

Many important properties of multi-agent systems refer to the participan...
0 Masoud Tabatabaei, et al. ∙
research
∙ 05/21/2019

Properties and Extensions of Alternating Path Relevance - I

When proving theorems from large sets of logical assertions, it can be h...
0 David A. Plaisted, et al. ∙
research
∙ 09/06/2016

Axiomatizing Category Theory in Free Logic

Starting from a generalization of the standard axioms for a monoid we pr...
0 Christoph Benzmüller, et al. ∙
research
∙ 10/21/2014

Towards a Model Theory for Distributed Representations

Distributed representations (such as those based on embeddings) and disc...
0 Ramanathan Guha, et al. ∙
research
∙ 09/09/2013

Technical Report: Distribution Temporal Logic: Combining Correctness with Quality of Estimation

We present a new temporal logic called Distribution Temporal Logic (DTL)...
0 Austin Jones, et al. ∙

Please sign up or login with your details

Forgot password? Click here to reset

Out of credits

Refill your membership to continue using DeepAI

Stripe
Paypal