Results 111 to 120 of about 6,025 (211)
CoRROver the years, bisimulations have emerged as a pervasive paradigm, finding applications in numerous areas, including concurrency theory, model checking, automata theory, logic, programming languages and category theory. In this paper, we establish a connection between bisimulations and data compression.
openaire +3 more sources
An enactivist-inspired mathematical model of cognition. [PDF]
Front Neurorobot, 2022 Weinstein V, Sakcak B, LaValle SM.
europepmc +1 more source
Formal methods: practical applications and foundations: Editorial. [PDF]
Form Methods Syst Des, 2022 Ter Beek MH, McIver A.
europepmc +1 more source
Knowledge, Awareness, and Bisimulation
CoRR, 2013 We compare different epistemic notions in the presence of awareness of propositional variables: the logics of implicit knowledge (in which explicit knowledge is definable), explicit knowledge, and speculative knowledge. Different notions of bisimulation are suitable for these logics.
Hans van Ditmarsch +3 more
openaire +4 more sources
Bisimulation through Probabilistic Testing [PDF]
, 1991 We propose a language for testing concurrent processes and examine its strength in terms of the processes that are distinguished by a test. By using probabilistic transition systems as the underlying semantic model, we show how a testing algorithm can ...
Larsen, Kim Guldstrand; id_orcid +3 more
core +1 more source
, 1995 We investigate criteria to relate specifications and implementations belonging to conceptually different abstraction levels, and propose vertical bisimulation as a candidate relation for this purpose.
Rensink, Arend; id_orcid +1 more
core +1 more source
Synthesizing optimal bias in randomized self-stabilization. [PDF]
Distrib Comput, 2022 Volk M +3 more
europepmc +1 more source
Bisimulation for component-based development
Journal of Computer Science and Technology, 2002 Guaranteeing that assembled components will behave as required is one of the main aspects in working with Component-Based Development. In this paper we present a formal approach for tackling this problem by applying the concept of bisimulation ...
Elsa Clara Estévez +1 more
doaj
Approximating Heterotypic Bisimulations for Weighted Finite Automata over the Field of Real Numbers
AxiomsThis paper examines the existence and approximation of bisimulations between weighted finite automata (WFAs) over the real numbers. It shows that forward–backward bisimulation (fbb) and backward–forward bisimulation (bfb) between two WFAs are equivalent ...
Predrag Stanimirović +3 more
doaj +1 more source
International Journal of Advanced Robotic SystemsThis work introduces Deep Policy Similarities (DeePS), a learning-based bisimulation approach designed to enhance generalization in reinforcement learning for robotic control.
Ming Chong Lim, Han-Lim Choi
doaj +1 more source