Results 21 to 30 of about 14,300 (195)
On model checking durational Kripke structures (Extended Abstract)
, 2002 We consider quantitative model checking in \emphdurational Kripke structures (Kripke structures where transitions have integer durations) with timed temporal logics where subscripts put quantitative constraints on the time it takes before a property is satisfied.
François Laroussinie +2 more
openalex +3 more sources
A context dependent equivalence relation between kripke structures [PDF]
, 2005 Bernhard Josko
openalex +3 more sources
Possibilistic Cost Computation Tree Logic and Related Equivalence, Abstraction Technique
IEEE Access, 2023 Recently, probabilistic Kripke structures have been used to represent uncertain systems; nevertheless, important transition costs were ignored in earlier studies, making it impossible to model some uncertain systems with costs.
Hui Deng, Yuzhe Zhang, Zhilong Huang
doaj +1 more source
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption [PDF]
Logical Methods in Computer Science, 2022 The expressive power of interval temporal logics (ITLs) makes them one of the most natural choices in a number of application domains, ranging from the specification and verification of complex reactive systems to automated planning.
Laura Bozzelli +4 more
doaj +1 more source
Computation Tree Logic with Deadlock Detection [PDF]
Logical Methods in Computer Science, 2009 We study the equivalence relation on states of labelled transition systems of satisfying the same formulas in Computation Tree Logic without the next state modality (CTL-X).
Rob van Glabbeek +2 more
doaj +1 more source
A short note on Simulation and Abstraction [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 This short note is written in celebration of David Schmidt's sixtieth birthday. He has now been active in the program analysis research community for over thirty years and we have enjoyed many interactions with him. His work on characterising simulations
Chris Hankin
doaj +1 more source
Toward an Epistemic-Logical Theory of Categorization [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Categorization systems are widely studied in psychology, sociology, and organization theory as information-structuring devices which are critical to decision-making processes.
Willem Conradie +5 more
doaj +1 more source
Local Search and the Evolution of World Models
Topics in Cognitive Science, EarlyView., 2023 Abstract An open question regarding how people develop their models of the world is how new candidates are generated for consideration out of infinitely many possibilities. We discuss the role that evolutionary mechanisms play in this process. Specifically, we argue that when it comes to developing a global world model, innovation is necessarily ...
Neil R. Bramley +3 more
wiley +1 more source
Characteristic Formulae for Fixed-Point Semantics: A General Framework [PDF]
Electronic Proceedings in Theoretical Computer Science, 2009 The literature on concurrency theory offers a wealth of examples of characteristic-formula constructions for various behavioural relations over finite labelled transition systems and Kripke structures that are defined in terms of fixed points of suitable
Luca Aceto +2 more
doaj +1 more source
Some Logics in the Vicinity of Interpretability Logics
Bulletin of the Section of Logic, 2023 In this paper we shall define semantically some families of propositional modal logics related to the interpretability logic \(\mathbf{IL}\). We will introduce the logics \(\mathbf{BIL}\) and \(\mathbf{BIL}^{+}\) in the propositional language with a ...
Sergio A. Celani
doaj +1 more source