Search results for "Alternating-time Temporal Logic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Taolue Chen, Jian Lu	Probabilistic Alternating-time Temporal Logic and Model Checking Algorithm.	FSKD	2007	DBLP DOI BibTeX RDF
2	Wojciech Jamroga, Thomas Ågotnes	What agents can achieve under incomplete information.	AAMAS	2006	DBLP DOI BibTeX RDF	alternating-time temporal logic, strategic ability, incomplete information, epistemic logic
2	Magdalena Kacprzak, Wojciech Penczek	Fully Symbolic Unbounded Model Checking for Alternating-time Temporal Logic1.	Autonomous Agents and Multi-Agent Systems	2005	DBLP DOI BibTeX RDF	Alternating-time Temporal Logic, unbounded model checking, SAT-based verification, multi-agent systems, symbolic model checking
2	Stefan Wölfl	Qualitative Action Theory: A Comparison of the Semantics of Alternating-Time Temporal Logic and the Kutschera-Belnap Approach to Agency.	JELIA	2004	DBLP DOI BibTeX RDF
2	Magdalena Kacprzak, Wojciech Penczek	Unbounded Model Checking for Alternating-Time Temporal Logic.	AAMAS	2004	DBLP DOI BibTeX RDF
2	Govert van Drimmelen	Satisfiability in Alternating-time Temporal Logic.	LICS	2003	DBLP DOI BibTeX RDF
2	Rajeev Alur, Thomas A. Henzinger, Orna Kupferman	Alternating-time temporal logic.	J. ACM	2002	DBLP DOI BibTeX RDF	temporaxl logic, model checking, games, Alternation
2	Mark Ryan, Pierre-Yves Schobbens	Agents and Roles: Refinement in Alternating-Time Temporal Logic.	ATAL	2001	DBLP DOI BibTeX RDF
2	Rajeev Alur, Thomas A. Henzinger, Orna Kupferman	Alternating-Time Temporal Logic.	COMPOS	1997	DBLP DOI BibTeX RDF
2	Rajeev Alur, Thomas A. Henzinger, Orna Kupferman	Alternating-time Temporal Logic.	FOCS	1997	DBLP DOI BibTeX RDF
1	Dimitar P. Guelev, Catalin Dima, Constantin Enea	An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking.	Journal of Applied Non-Classical Logics	2011	DBLP BibTeX RDF
1	Christophe Chareton, Julien Brunel, David Chemouil	A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic.	SBMF	2011	DBLP DOI BibTeX RDF
1	Glenn Bruns, Michael Huth, Kumar Avijit	Program synthesis in administration of higher-order permissions.	SACMAT	2011	DBLP DOI BibTeX RDF
1	Marco Faella, Margherita Napoli, Mimmo Parente	Graded Alternating-Time Temporal Logic.	Fundam. Inform.	2010	DBLP DOI BibTeX RDF
1	Catalin Dima, Constantin Enea, Dimitar P. Guelev	Model-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions	GANDALF	2010	DBLP DOI BibTeX RDF
1	Fabio Mogavero, Aniello Murano, Moshe Y. Vardi	Relentful Strategic Reasoning in Alternating-Time Temporal Logic.	LPAR (Dakar)	2010	DBLP DOI BibTeX RDF
1	Marco Faella, Margherita Napoli, Mimmo Parente	Graded Alternating-Time Temporal Logic.	LPAR (Dakar)	2010	DBLP DOI BibTeX RDF
1	Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib	Resource-bounded alternating-time temporal logic.	AAMAS	2010	DBLP DOI BibTeX RDF
1	Nils Bulling, Wojciech Jamroga	Rational play and rational beliefs under uncertainty.	AAMAS	2009	DBLP DOI BibTeX RDF	imperfect information games, knowledge and beliefs, temporal logic
1	Dietmar Berwanger, Sophie Pinchinat	Game Quantification Patterns.	ICLA	2009	DBLP DOI BibTeX RDF
1	Nils Bulling, Carlos Iván Chesñevar, Jürgen Dix	An Argumentative Approach for Modelling Coalitions Using ATL.	ArgMAS	2008	DBLP DOI BibTeX RDF
1	Dimitar P. Guelev, Catalin Dima	Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions.	DALT	2008	DBLP DOI BibTeX RDF
1	Nils Bulling, Wojciech Jamroga, Jürgen Dix	Reasoning about temporal properties of rational play.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 03B70, 91A26
1	Wojciech Jamroga, Jürgen Dix	Model Checking Abilities of Agents: A Closer Look.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Multi-agent systems, Model checking, Computational complexity
1	Zhengyuan Ning, Xianwei Lai, Shanli Hu, Qingqing Zhan	Modeling Cooperative Problem Solving Process with Extended Alternating-time Temporal Logic.	SNPD	2007	DBLP DOI BibTeX RDF
1	Dirk Walther 0002, Wiebe van der Hoek, Michael Wooldridge	Alternating-time temporal logic with explicit strategies.	TARK	2007	DBLP DOI BibTeX RDF
1	Wojciech Jamroga, Thomas Ågotnes	Modular interpreted systems.	AAMAS	2007	DBLP DOI BibTeX RDF	open computational systems, temporal and strategic logics, model checking, modeling methodology
1	Wojciech Jamroga, Nils Bulling	A framework for reasoning about rational agents.	AAMAS	2007	DBLP DOI BibTeX RDF	game theory, temporal logic, multiagent systems, rationality
1	Thomas Ågotnes, Valentin Goranko, Wojciech Jamroga	Alternating-time temporal logics with irrevocable strategies.	TARK	2007	DBLP DOI BibTeX RDF
1	Elie Bursztein, Jean Goubault-Larrecq	A Logical Framework for Evaluating Network Resilience Against Faults and Attacks.	ASIAN	2007	DBLP DOI BibTeX RDF
1	Dmitry Bugaychenko, Igor Soloviev	MASL: A Logic for the Specification of Multiagent Real-Time Systems.	CEEMAS	2007	DBLP DOI BibTeX RDF
1	Wojciech Jamroga, Nils Bulling	A Logic for Reasoning about Rational Agents.	CLIMA	2007	DBLP DOI BibTeX RDF
1	Valentin Goranko, Govert van Drimmelen	Complete axiomatization and decidability of Alternating-time temporal logic.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Jan Broersen, Andreas Herzig, Nicolas Troquard	Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency.	J. Log. Comput.	2006	DBLP DOI BibTeX RDF
1	Thomas Ågotnes	Action and Knowledge in Alternating-Time Temporal Logic.	Synthese	2006	DBLP DOI BibTeX RDF
1	Thomas A. Henzinger, Vinayak S. Prabhu	Timed Alternating-Time Temporal Logic.	FORMATS	2006	DBLP DOI BibTeX RDF
1	Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge	On the logic of coalitional games.	AAMAS	2006	DBLP DOI BibTeX RDF	game theory, logic, coalitional games
1	Malte Helmert, Robert Mattmüller, Sven Schewe	Selective Approaches for Solving Weak Games.	ATVA	2006	DBLP DOI BibTeX RDF
1	Jan Broersen	Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm's Scenario.	DEON	2006	DBLP DOI BibTeX RDF
1	Thomas Ågotnes, Michal Walicki	A logic of reasoning, communication and cooperation with syntactic knowledge.	AAMAS	2005	DBLP DOI BibTeX RDF	syntactic knowledge representation, epistemic logic, ATL
1	Wiebe van der Hoek, Wojciech Jamroga, Michael Wooldridge	A logic for strategic reasoning.	AAMAS	2005	DBLP DOI BibTeX RDF	multi-agent systems, game theory, modal logic, strategic reasoning
1	Wiebe van der Hoek, Mark Roberts, Michael Wooldridge	Knowledge and social laws.	AAMAS	2005	DBLP DOI BibTeX RDF	alternating-time temporal epistemic logic, social laws, knowledge
1	Ajay Mahimkar, Vitaly Shmatikov	Game-Based Analysis of Denial-of-Service Prevention Protocols.	CSFW	2005	DBLP DOI BibTeX RDF
1	Wojciech Jamroga, Jürgen Dix	Model Checking Strategic Abilities of Agents Under Incomplete Information.	ICTCS	2005	DBLP DOI BibTeX RDF
1	Wojciech Jamroga, Wiebe van der Hoek, Michael Wooldridge	On Obligations and Abilities.	DEON	2004	DBLP DOI BibTeX RDF	alternating-time logic, multi-agent systems, deontic logic
1	Michael Wooldridge	Social Laws in Alternating Time.	DEON	2004	DBLP DOI BibTeX RDF
1	Aidan Harding, Mark Ryan, Pierre-Yves Schobbens	Towards Symbolic Strategy Synthesis for \left\langle {\left\langle A \right\rangle } \right\rangle-LTL. (PDF / PS)	TIME	2003	DBLP DOI BibTeX RDF
1	Wiebe van der Hoek, Michael Wooldridge	Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications.	Studia Logica	2003	DBLP DOI BibTeX RDF	Cooperation logic, model checking, game theory, epistemic logic
1	Steve Kremer, Jean-François Raskin	Game Analysis of Abuse-free Contract Signing.	CSFW	2002	DBLP DOI BibTeX RDF
1	Michael Wooldridge, Wiebe van der Hoek	Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications.	COORDINATION	2002	DBLP DOI BibTeX RDF
1	Michael Wooldridge	Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications.	KI	2002	DBLP DOI BibTeX RDF
1	Aidan Harding, Mark Ryan, Pierre-Yves Schobbens	Approximating ATL* in ATL.	VMCAI	2002	DBLP DOI BibTeX RDF