Zum Inhalt springen

Da Costa, Arnaud [VerfasserIn]; Laroussinie, François [VerfasserIn]; Markey, Nicolas [VerfasserIn] ; Arnaud Da Costa and François Laroussinie and Nicolas Markey [MitwirkendeR]

ATL with Strategy Contexts: Expressiveness and Model Checking

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
Beutner, Raven [VerfasserIn]; Finkbeiner, Bernd [VerfasserIn] ; Raven Beutner and Bernd Finkbeiner [MitwirkendeR]

A Temporal Logic for Strategic Hyperproperties

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
Krishna, Shankara Narayanan [VerfasserIn]; Madnani, Khushraj [VerfasserIn]; Pandya, Paritosh K. [VerfasserIn] ; Shankara Narayanan Krishna and Khushraj Madnani and Paritosh K. Pandya [MitwirkendeR]

Logics Meet 1-Clock Alternating Timed Automata

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018
Jamroga, Wojciech [VerfasserIn] ; Wojciech Jamroga [MitwirkendeR]

Model Checking Strategic Ability - Why, What, and Especially: How? (Invited Paper)

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018
Mogavero, Fabio [VerfasserIn]; Murano, Aniello [VerfasserIn]; Vardi, Moshe Y. [VerfasserIn] ; Fabio Mogavero and Aniello Murano and Moshe Y. Vardi [MitwirkendeR]

Reasoning About Strategies

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
Dixon, Clare; Bolotov, Alexander; Fisher, Michael

Alternating automata and temporal logic normal forms

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2005

Erschienen in: Annals of Pure and Applied Logic
Nguyen, Hoang Nga; Alechina, Natasha; Logan, Brian; Rakib, Abdur

Alternating-time temporal logic with resource bounds

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oxford University Press (OUP), 2018

Erschienen in: Journal of Logic and Computation
de Lima, T.

Alternating-time temporal dynamic epistemic logic

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oxford University Press (OUP), 2014

Erschienen in: Journal of Logic and Computation
Broersen, J.; Herzig, A.; Troquard, N.

Embedding Alternating-time Temporal Logic in Strategic Logic of Agency

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oxford University Press (OUP), 2006

Erschienen in: Journal of Logic and Computation
Alur, Rajeev; Henzinger, Thomas A.; Kupferman, Orna

Alternating-time temporal logic

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2002

Erschienen in: Journal of the ACM
Faella, Marco; Napoli, Margherita; Parente, Mimmo

Graded Alternating-Time Temporal Logic

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

IOS Press, 2010

Erschienen in: Fundamenta Informaticae
Murano, Aniello; Neider, Daniel; Zimmermann, Martin

Logics in Artificial Intelligence: Robust Alternating-Time Temporal Logic

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Nature Switzerland, 2023

Erschienen in: Logics in Artificial Intelligence
Goranko, Valentin; Kuusisto, Antti; Rönnholm, Raine

Alternating-time temporal logic ATL with finitely bounded semantics

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2019

Erschienen in: Theoretical Computer Science
Tian, Cong; Duan, Zhenhua

Model checking open systems with alternating projection temporal logic

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2019

Erschienen in: Theoretical Computer Science
Goranko, Valentin; Kuusisto, Antti; Rönnholm, Raine

Game-Theoretic Semantics for Alternating-Time Temporal Logic

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2018

Erschienen in: ACM Transactions on Computational Logic
Guelev, Dimitar P.

Refining strategic ability in alternating-time temporal logic

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2017

Erschienen in: Information and Computation
Mogavero, Fabio; Murano, Aniello; Vardi, Moshe Y.

Relentful strategic reasoning in alternating-time temporal logic

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oxford University Press (OUP), 2016

Erschienen in: Journal of Logic and Computation
Vester, Steen

Alternating-time temporal logic with finite-memory strategies

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Open Publishing Association, 2013

Erschienen in: Electronic Proceedings in Theoretical Computer Science
de Lima, Tiago

Lecture Notes in Computer Science: Alternating-Time Temporal Announcement Logic

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2011

Erschienen in: Lecture Notes in Computer Science
Belardinelli, Francesco; Jones, Andrew V.; Lomuscio, Alessio

Model Checking Temporal-Epistemic Logic Using Alternating Tree Automata

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

IOS Press, 2011

Erschienen in: Fundamenta Informaticae

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr