38 results on '"McCabe-Dansted, John"'
Search Results
2. A Parallel Linear Temporal Logic Tableau
3. Specifying Robustness
4. Nonconvergent Electoral Equilibria under Scoring Rules: Beyond Plurality
5. Dodgson's Rule Approximations and Absurdity
6. A Tableau for Bundled Strategies
7. Synthesis for continuous time
8. To be fair, use bundles
9. Verifying Temporal Properties in Real Models
10. Model Checking General Linear Temporal Logic
11. Indiscrete Models: Model Building and Model Checking over Linear Time
12. Axioms for Obligation and Robustness with Temporal Logic
13. A Tableau for RoBCTL
14. Approximability of Dodgson's rule
15. Exploratory Analysis of Similarities Between Social Choice Rules
16. Verifying Temporal Properties in Real Models
17. Indiscrete Models: Model Building and Model Checking over Linear Time
18. Sublogics of a branching time logic of robustness
19. Asymmetric equilibria in spatial competition under weakly concave scoring rules
20. Sublogics of a branching time logic of robustness
21. A Parallel Linear Temporal Logic Tableau
22. Rewrite rules for CTL*
23. Modelling Systems over General Linear Time
24. Expressiveness and succinctness of a logic of robustness
25. Expressiveness and succinctness of a logic of robustness
26. A complete axiomatization of a temporal logic with obligation and robustness.
27. A Tableau for RoBCTL
28. Verification of Rewrite Rules for Computation Tree Logics
29. Fairness with EXPTIME Bundled CTL Tableau
30. A complete axiomatization of a temporal logic with obligation and robustness
31. Complexity of Model Checking over General Linear Time
32. An Algebraic System of Temporal Structures
33. A Tableau for the Combination of CTL and BCTL
34. A Rooted Tableau for BCTL*
35. CTL-Like Fragments of a Temporal Logic of Robustness
36. On the Expressivity of RoCTL*
37. Approximability of Dodgson’s rule
38. Exploratory Analysis of Similarities Between Social Choice Rules
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.