John Christopher McCabe-Dansted

Available identifiers

Publication	Date of Publication	Type
Equilibria on a circular market when consumers do not always buy from the closest firm	2022-10-06	Paper
https://portal.mardi4nfdi.de/entity/Q3384170	2021-12-14	Paper
Sublogics of a branching time logic of robustness	2019-05-02	Paper
Expressiveness and succinctness of a logic of robustness	2018-09-12	Paper
To be fair, use bundles	2017-10-13	Paper
Rewrite rules for \(\mathrm{CTL}^\ast\)	2017-03-30	Paper
A complete axiomatization of a temporal logic with obligation and robustness	2017-01-31	Paper
A rooted tableau for \(\mathrm{BCTL}^*\)	2016-10-07	Paper
A Tableau for Bundled Strategies	2015-12-11	Paper
Synthesis for continuous time	2015-07-24	Paper
Indiscrete Models: Model Building and Model Checking over Linear Time	2015-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q5419881	2014-06-11	Paper
Verifying Temporal Properties in Real Models	2014-01-17	Paper
Model Checking General Linear Temporal Logic	2013-10-04	Paper
Axioms for Obligation and Robustness with Temporal Logic	2010-09-29	Paper
Dodgson's Rule Approximations and Absurdity	2010-08-06	Paper
Approximability of Dodgson's rule	2009-06-17	Paper
A Tableau for RoBCTL	2008-10-27	Paper
A Temporal Logic of Robustness	2008-09-16	Paper

This page was built for person: John Christopher McCabe-Dansted