The following pages link to Tim French (Q476191):
Displaying 40 items.
- (Q310078) (redirect page) (← links)
- The undecidability of quantified announcements (Q310079) (← links)
- On the succinctness of some modal logics (Q360052) (← links)
- Refinement modal logic (Q476194) (← links)
- Finding minimum and maximum termination time of timed automata models with cyclic behaviour (Q507600) (← links)
- Accelerating worst case execution time analysis of timed automata models with cyclic behaviour (Q903501) (← links)
- Sublogics of a branching time logic of robustness (Q1740655) (← links)
- Positive announcements (Q2046881) (← links)
- Semantics for knowledge and change of awareness (Q2258808) (← links)
- A modal aleatoric calculus for probabilistic reasoning (Q2284177) (← links)
- Synthesis for continuous time (Q2355696) (← links)
- Refinement Quantified Logics of Knowledge (Q2825410) (← links)
- Model Checking General Linear Temporal Logic (Q2851939) (← links)
- Verifying Temporal Properties in Real Models (Q2870137) (← links)
- (Q2904048) (← links)
- Indiscrete Models: Model Building and Model Checking over Linear Time (Q2936229) (← links)
- A complete axiomatization of a temporal logic with obligation and robustness (Q2957954) (← links)
- Becoming Aware of Propositional Variables (Q3063981) (← links)
- (Q3086938) (← links)
- (Q3509051) (← links)
- Idempotent Transductions for Modal Logics (Q3525009) (← links)
- A Temporal Logic of Robustness (Q3525010) (← links)
- Simulation and Information: Quantifying over Epistemic Events (Q3644777) (← links)
- μ-programs, uniform interpolation and bisimulation quantifiers for modal logics ★ (Q3647242) (← links)
- (Q4475142) (← links)
- Expressiveness and succinctness of a logic of robustness (Q4586143) (← links)
- (Q4636294) (← links)
- Axioms for Obligation and Robustness with Temporal Logic (Q4931567) (← links)
- (Q4995368) (← links)
- (Q5028475) (← links)
- (Q5079791) (← links)
- AI 2003: Advances in Artificial Intelligence (Q5191595) (← links)
- (Q5419881) (← links)
- (Q5419886) (← links)
- (Q5436689) (← links)
- (Q5465439) (← links)
- (Q5483001) (← links)
- Finding Best and Worst Case Execution Times of Systems Using Difference-Bound Matrices (Q5500552) (← links)
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (Q5897786) (← links)
- The Expressivity of Quantified Group Announcements (Q6189201) (← links)
