John Christopher McCabe-Dansted

发表

On the Succinctness of RoCTL*

John Christopher McCabe-Dansted, J. McCabe-Dansted, 2011, CATS.

Expressiveness and succinctness of a logic of robustness

Sophie Pinchinat, Mark Reynolds, Tim French, 2015, J. Appl. Non Class. Logics.

Axioms for Obligation and Robustness with Temporal Logic

Tim French, Mark Reynolds, John Christopher McCabe-Dansted, 2010, DEON.

Verifying Temporal Properties in Real Models

Tim French, Mark Reynolds, John Christopher McCabe-Dansted, 2013, LPAR.

Sublogics of a branching time logic of robustness

Clare Dixon, Mark Reynolds, Tim French, 2019, Information and Computation.

CTL-Like Fragments of a Temporal Logic of Robustness

Clare Dixon, John Christopher McCabe-Dansted, 2010, 2010 17th International Symposium on Temporal Representation and Reasoning.

Specifying Robustness pdf

Sophie Pinchinat, Mark Reynolds, Tim French, 2013, ArXiv.

A complete axiomatization of a temporal logic with obligation and robustness

Mark Reynolds, Tim French, John Christopher McCabe-Dansted, 2016, J. Log. Comput..

Rewrite rules for CTL

Mark Reynolds, John Christopher McCabe-Dansted, M. Reynolds, 2017, J. Appl. Log..

Approximability of Dodgson’s rule

Geoffrey Pritchard, Arkadii M. Slinko, John Christopher McCabe-Dansted, 2008, Soc. Choice Welf..

A Temporal Logic of Robustness

Tim French, Mark Reynolds, John Christopher McCabe-Dansted, 2007, FroCoS.

A Tableau for Bundled Strategies

Mark Reynolds, John Christopher McCabe-Dansted, 2015, TABLEAUX.

Modelling Systems over General Linear Time

Tim French, Mark Reynolds, John Christopher McCabe-Dansted, 2016, 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME).

Synthesis for continuous time

Tim French, Mark Reynolds, John Christopher McCabe-Dansted, 2015, Theor. Comput. Sci..

To be fair, use bundles

Mark Reynolds, John Christopher McCabe-Dansted, 2017, Annals of Mathematics and Artificial Intelligence.

Fairness with EXPTIME Bundled CTL Tableau

Mark Reynolds, John Christopher McCabe-Dansted, 2014, 2014 21st International Symposium on Temporal Representation and Reasoning.

Synthesis for Temporal Logic over the Reals

Tim French, Mark Reynolds, John Christopher McCabe-Dansted, 2012, Advances in Modal Logic.

Dodgson's Rule Approximations and Absurdity pdf

John Christopher McCabe-Dansted, J. McCabe-Dansted, 2010, ArXiv.

Verification of Rewrite Rules for Computation Tree Logics

Mark Reynolds, John Christopher McCabe-Dansted, M. Reynolds, 2014, 2014 21st International Symposium on Temporal Representation and Reasoning.

On the Expressivity of RoCTL*

Sophie Pinchinat, Tim French, Mark Reynolds, 2009, 2009 16th International Symposium on Temporal Representation and Reasoning.

A Tableau for the Combination of CTL and BCTL

John Christopher McCabe-Dansted, J. McCabe-Dansted, 2012, 2012 19th International Symposium on Temporal Representation and Reasoning.

A Rooted Tableau for BCTL*

John Christopher McCabe-Dansted, 2011, Electron. Notes Theor. Comput. Sci..

A Tableau for RoBCTL*

John Christopher McCabe-Dansted, 2008, JELIA.

Approximability and Computational Feasibility of Dodgson's Rule

John Christopher McCabe-Dansted, 2006 .

Complexity of Model Checking over General Linear Time

Tim French, John Christopher McCabe-Dansted, Mark Reynolds, 2013, 2013 20th International Symposium on Temporal Representation and Reasoning.

Nonconvergent Electoral Equilibria Under Scoring Rules: Beyond Plurality

Arkadii M. Slinko, John Christopher McCabe-Dansted, Dodge Cahan, 2011, ArXiv.

Model Checking General Linear Temporal Logic

Tim French, Mark Reynolds, John Christopher McCabe-Dansted, 2013, TABLEAUX.

Indiscrete Models: Model Building and Model Checking over Linear Time

Tim French, Mark Reynolds, John Christopher McCabe-Dansted, 2013, ICLA.

A Parallel Linear Temporal Logic Tableau

Mark Reynolds, John Christopher McCabe-Dansted, 2017, GandALF.