John Christopher McCabe-Dansted

J. Appl. Log., 2017

A Parallel Linear Temporal Logic Tableau.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Eighth International Symposium on Games, 2017

To be fair, use bundles.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2017

2016

A complete axiomatization of a temporal logic with obligation and robustness.

[BibT_eX]

[DOI]

J. Log. Comput., 2016

Modelling Systems over General Linear Time.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016

2015

Synthesis for continuous time.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2015

Expressiveness and succinctness of a logic of robustness.

[BibT_eX]

[DOI]

Sophie Pinchinat

J. Appl. Non Class. Logics, 2015

A Tableau for Bundled Strategies.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015

2014

Fairness with EXPTIME Bundled CTL Tableau.

[BibT_eX]

[DOI]

Proceedings of the 21st International Symposium on Temporal Representation and Reasoning, 2014

Verification of Rewrite Rules for Computation Tree Logics.

[BibT_eX]

[DOI]

Proceedings of the 21st International Symposium on Temporal Representation and Reasoning, 2014

2013

Nonconvergent Electoral Equilibria under Scoring Rules: Beyond Plurality

[BibT_eX]

[DOI]

Dodge Cahan

Arkadii M. Slinko

CoRR, 2013

Specifying Robustness.

[BibT_eX]

[DOI]

Sophie Pinchinat

CoRR, 2013

Complexity of Model Checking over General Linear Time.

[BibT_eX]

[DOI]

Proceedings of the 2013 20th International Symposium on Temporal Representation and Reasoning, 2013

An Algebraic System of Temporal Structures.

[BibT_eX]

[DOI]

Proceedings of the 2013 20th International Symposium on Temporal Representation and Reasoning, 2013

Model Checking General Linear Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013

Verifying Temporal Properties in Real Models.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Indiscrete Models: Model Building and Model Checking over Linear Time.

[BibT_eX]

[DOI]

Proceedings of the Logic and Its Applications, 5th Indian Conference, 2013

2012

A Tableau for the Combination of CTL and BCTL*.

[BibT_eX]

[DOI]

Proceedings of the 19th International Symposium on Temporal Representation and Reasoning, 2012

Synthesis for Temporal Logic over the Reals.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 9, 2012

2011

A Rooted Tableau for BCTL*.

[BibT_eX]

[DOI]

Proceedings of the 7th Workshop on Methods for Modalities, 2011

On the Succinctness of RoCTL*.

[BibT_eX]

[DOI]

Proceedings of the Seventeenth Computing: The Australasian Theory Symposium, 2011

2010

Dodgson's Rule Approximations and Absurdity

[BibT_eX]

[DOI]

CoRR, 2010

CTL-Like Fragments of a Temporal Logic of Robustness.

[BibT_eX]

[DOI]

Clare Dixon

Proceedings of the TIME 2010, 2010

Axioms for Obligation and Robustness with Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Deontic Logic in Computer Science, 10th International Conference, 2010

2009

On the Expressivity of RoCTL*.

[BibT_eX]

[DOI]

Sophie Pinchinat

Proceedings of the TIME 2009, 2009

2008

Approximability of Dodgson's rule.

[BibT_eX]

[DOI]

Geoffrey Pritchard

Arkadii M. Slinko

Soc. Choice Welf., 2008

A Tableau for RoBCTL*.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

2007

A Temporal Logic of Robustness.

[BibT_eX]

[DOI]