Results 21 to 30 of about 2,243,371 (296)
Bounded saturation-based CTL model checking; pp. 59–70 [PDF]
Proceedings of the Estonian Academy of Sciences, 2013 Formal verification is becoming a fundamental step of safety-critical and model-based software development. As part of the verification process, model checking is one of the current advanced techniques to analyse the behaviour of a system. Symbolic model
András Vörös +2 more
doaj +1 more source
Electronic Proceedings in Theoretical Computer Science, 2020 In Proceedings EXPRESS/SOS 2020, arXiv:2008 ...
openaire +3 more sources
Temporal Logic as Filtering [PDF]
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016 We show that metric temporal logic (MTL) can be viewed as linear time-invariant filtering, by interpreting addition, multiplication, and their neutral elements, over the idempotent dioid (max,min,0,1). Moreover, by interpreting these operators over the field of reals (+,×,0,1), one can associate various quantitative semantics to a metric ...
Alëna Rodionova +3 more
openaire +4 more sources
Program transformations using temporal logic side conditions [PDF]
, 2009 This paper describes an approach to program optimisation based on transformations, where temporal logic is used to specify side conditions, and strategies are created which expand the repertoire of transformations and provide a suitable level of ...
Richard Warburton +7 more
core +1 more source
Completeness classes for intuitionistic first-order temporal logic with time gaps
Lietuvos Matematikos Rinkinys, 2023 There is not abstract.
Romas Alonderis
doaj +3 more sources
Indeterministic Temporal Logic
Studies in Logic, Grammar and Rhetoric, 2015 The questions od determinism, causality, and freedom have been the main philosophical problems debated since the beginning of temporal logic. The issue of the logical value of sentences about the future was stated by Aristotle in the famous tomorrow sea ...
Trzęsicki Kazimierz
doaj +1 more source
IEEE Access, 2023 Modern cyber-physical systems would often fall victim to unanticipated anomalies. Humans are still required in many operations to troubleshoot and respond to such anomalies, such those in future deep space habitats.
Ziquan Deng +3 more
doaj +1 more source
Bisimulations for Temporal Logic
Journal of Logic, Language and Information, 1997 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kurtonina, N., de Rijke, M.
openaire +3 more sources
HIERARCHICAL REPRESENTATION OF CAUSAL RELATIONSHIPS TO DETAIL EXPLANATIONS IN INTELLIGENT SYSTEMS
Сучасні інформаційні системи, 2021 The subject of research in the article is the processes of constructing explanations in intelligent systems based on the use of causal dependencies. The aim is to develop a hierarchical representation of causal relationships between the actions of an ...
Serhii Chalyi, Volodymyr Leshchynskyi
doaj +1 more source
Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality [PDF]
, 2022 This paper proposes a semantic description of the linear step-like temporal multi-agent logic with the universal modality \(\mathcal{LTK}.sl_U\) based on the idea of non-reflexive non-transitive nature of time.
Zvereva, Tatyana Yu. +1 more
core +1 more source