Search results
From MaRDI portal
- Testing Satisfiability in the Alternating-Time Temporal Logic ATL+ 2014-09-26 Paper The dark side of interval temporal logic: marking the undecidability...10 bytes (18 words) - 02:45, 10 December 2023
- Amélie David (section Research outcomes over time)Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL + 2017-07-12 Paper Deciding $$\mathsf {ATL^*}$$ Satisfiability...10 bytes (16 words) - 19:17, 24 September 2023
- Margherita Napoli (section Research outcomes over time)Graded Alternating-Time Temporal Logic 2011-03-28 Paper Graded Alternating-Time Temporal Logic 2011-01-07 Paper Parametric Metric Interval Temporal Logic...10 bytes (17 words) - 02:25, 12 December 2023
- Raine Rönnholm (section Research outcomes over time)Semantics for Alternating-Time Temporal Logic 2018-10-24 Paper Capturing \(k\)-ary existential second order logic with \(k\)-ary inclusion-exclusion logic 2018-01-11...10 bytes (16 words) - 19:24, 24 September 2023
- Luis Sierra (section Research outcomes over time)Publication Date of Publication Type Alternating-Time Temporal Logic in the Calculus of (Co)Inductive Constructions 2012-11-06 Paper...10 bytes (16 words) - 12:32, 14 March 2024
- Dante Zanarini (section Research outcomes over time)Publication Date of Publication Type Alternating-Time Temporal Logic in the Calculus of (Co)Inductive Constructions 2012-11-06 Paper...10 bytes (16 words) - 12:32, 14 March 2024
- Zhen-Yuan Ning (section Research outcomes over time)Publication Date of Publication Type Alternating-time temporal logic with strong and weak exceptions 2009-10-12 Paper...10 bytes (18 words) - 09:36, 6 October 2023
- Catalin Dima (section Research outcomes over time)Perfect Recall, Past and Strategy Contexts 2012-09-21 Paper An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and...10 bytes (16 words) - 14:02, 10 December 2023
- Xianwei Lai (section Research outcomes over time)https://portal.mardi4nfdi.de/entity/Q3641366 2009-11-11 Paper Alternating-time temporal logic with strong and weak exceptions 2009-10-12 Paper...10 bytes (16 words) - 09:36, 6 October 2023
- 2008-09-04 Paper Complete axiomatization and decidability of alternating-time temporal logic 2006-04-28 Paper...10 bytes (18 words) - 09:43, 25 September 2023
- Shanli Hu (section Research outcomes over time)https://portal.mardi4nfdi.de/entity/Q3641366 2009-11-11 Paper Alternating-time temporal logic with strong and weak exceptions 2009-10-12 Paper https://portal...10 bytes (16 words) - 09:36, 6 October 2023
- Serenella Cerrito (section Research outcomes over time)Synthesis in the Alternating-Time Temporal Logic ATL + 2017-07-12 Paper A tableau based decision procedure for an expressive fragment of hybrid logic with binders...10 bytes (16 words) - 09:58, 25 September 2023
- Paper A logic with revocable and refinable strategies 2015-06-01 Paper A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal...10 bytes (16 words) - 19:24, 24 September 2023
- Marco Faella (section Research outcomes over time)Privacy 2011-11-22 Paper Graded Alternating-Time Temporal Logic 2011-03-28 Paper Graded Alternating-Time Temporal Logic 2011-01-07 Paper Exploring the Boundary...10 bytes (17 words) - 06:06, 7 October 2023
- Dimitar P. Guelev (section Research outcomes over time)Concurrency 2017-08-31 Paper Refining strategic ability in alternating-time temporal logic 2017-05-12 Paper An Epistemic Predicate CTL* for Finite Control...10 bytes (18 words) - 18:51, 6 October 2023
- Fabio Mogavero (section Research outcomes over time)Paper Relentful Strategic Reasoning in Alternating-Time Temporal Logic 2011-01-07 Paper Graded Computation Tree Logic with Binary Coding 2010-09-03 Paper...10 bytes (16 words) - 03:06, 25 September 2023
- Abdur Rakib (section Research outcomes over time)resource bounded agents 2024-02-06 Paper Alternating-time temporal logic with resource bounds 2019-01-31 Paper Logic for coalitions with bounded resources...10 bytes (16 words) - 21:22, 22 September 2023
- David Chemouil (section Research outcomes over time)Paper A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic 2011-11-11 Paper An insertion operator preserving infinite reduction...10 bytes (17 words) - 17:40, 6 October 2023
- Brian Logan (section Research outcomes over time)change 2019-07-10 Paper Alternating-time temporal logic with resource bounds 2019-01-31 Paper On the complexity of resource-bounded logics 2018-11-23 Paper ...10 bytes (16 words) - 07:43, 9 December 2023
- Carlos Luna (section Research outcomes over time)Paper Verifying Android’s Permission Model 2016-02-25 Paper Alternating-Time Temporal Logic in the Calculus of (Co)Inductive Constructions 2012-11-06 Paper...10 bytes (16 words) - 17:59, 24 September 2023