Bradford Logan

Learn More
  • Ecole Normale, Suprieure Paris-Saclay, +4 authors H N Nguyen
  • 2016
Resource-bounded logics. Alternating-time temporal logics such as the logics ATL and ATL * [AHK02] extend the temporal logics CTL and CTL * respectively (see for instance [DGL16]), by interpreting the formulae on concurrent game structures, a sophisticated extension of labelled transition systems, and by allowing modalities to quantify over strategies for a(More)
  • 1