Order:
  1.  14
    DEL-based epistemic planning: Decidability and complexity.Thomas Bolander, Tristan Charrier, Sophie Pinchinat & François Schwarzentruber - 2020 - Artificial Intelligence 287 (C):103304.
  2.  22
    Expressiveness and succinctness of a logic of robustness.John C. McCabe-Dansted, Tim French, Sophie Pinchinat & Mark Reynolds - 2015 - Journal of Applied Non-Classical Logics 25 (3):193-228.
    This paper compares the recently proposed Robust Full Computational Tree Logic to model robustness in concurrent systems with other computational tree logic -based logics. RoCTL* extends CTL* with the addition of the operators Obligatory and Robustly, which quantify over failure-free paths and paths with one more failure respectively. This paper focuses on examining the succinctness and expressiveness of RoCTL* by presenting translations to and from RoCTL*. The core result of this paper is to show that RoCTL* is expressively equivalent to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  19
    S. Demri, V. Goranko, M. Lange, Temporal Logics in Computer Science — Finite-State Systems: Cambridge University Press 2016, pp. 752. ISBN-10: 1107028361 £90.00; ISBN-13: 978-1107028364; online ISBN: 978-1139236119 £85.50.Sophie Pinchinat - 2019 - Studia Logica 107 (5):1083-1088.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark