Results 11 to 20 of about 24,570,426 (223)
Science of Computer Programming, 2015 D. Lepri, E. Ábrahám, P. C. Ölveczky
semanticscholar +3 more sources
Composite reductions for Kripke models
Моделирование и анализ информационных систем, 2010 Kripke factor-model concept is investigated. It is shown, that every factor-model is representexl as a decomposition of several spexdal facctor-models, which groups of automorphisms are primes. Moreover, we show, that every finite group is isomorphic for
Y. A. Belov.
doaj +1 more source
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
Synthese, 2023 Abstract In causal reasoning literature, the term actual causality is used to refer to the causality of some specific event that actually happened. One of the most prominent approaches for reasoning about actual causality is that of causal models developed by Halpern and Pearl (Pearl, Causality 2009, Halpern, British Journal for the ...
Ruoding Wang +4 more
openaire +4 more sources
Satisfiability Problems on Sums of Kripke Frames [PDF]
ACM Transactions on Computational Logic, 2020 We consider the operation of sum on Kripke frames, where a family of frames-summands is indexed by elements of another frame. In many cases, the modal logic of sums inherits the finite model property and decidability from the modal logic of summands ...
I. Shapirovsky
semanticscholar +1 more source
Expressiveness and Completeness in Abstraction [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 We study two notions of expressiveness, which have appeared in abstraction theory for model checking, and find them incomparable in general. In particular, we show that according to the most widely used notion, the class of Kripke Modal Transition ...
Tim A.C. Willemse, Maciej Gazda
doaj +1 more source
Modelling and Verification of Multiple UAV Mission Using SMV [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 Model checking has been used to verify the correctness of digital circuits, security protocols, communication protocols, as they can be modelled by means of finite state transition model.
Gopinadh Sirigineedi +3 more
doaj +1 more source
Logical Methods in Computer Science, 2015 Given a Kripke structure M and CTL formula $\varphi$, where M does not satisfy $\varphi$, the problem of Model Repair is to obtain a new model M' such that M' satisfies $\varphi$.
George Chatzieleftheriou +3 more
doaj +1 more source
Model Checking Social Network Models [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 A social network service is a platform to build social relations among people sharing similar interests and activities. The underlying structure of a social networks service is the social graph, where nodes represent users and the arcs represent the ...
Raúl Pardo, Gerardo Schneider
doaj +1 more source
THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH [PDF]
Journal of Symbolic Logic (JSL), 2020 We determine the modal logic of fixed-point models of truth and their axiomatizations by Solomon Feferman via Solovay-style completeness results. Given a fixed-point model $\mathcal {M}$ , or an axiomatization S thereof, we find a modal logic M such ...
Carlo Nicolai, J. Stern
semanticscholar +1 more source