Results 191 to 200 of about 6,025 (211)
Some of the next articles are maybe not open access.
Approximate bisimulation relations for constrained linear systems
Automatica, 2007George J. Pappas, Antoine Girard
exaly
Bisimulation and cocongruence for probabilistic systems
Information and Computation, 2006Prakash Panangaden +2 more
exaly
The Subgraph Bisimulation Problem
IEEE Transactions on Knowledge and Data Engineering, 2003Carla Piazza
exaly
Bisimulations and bisimulation quotients of generalized Veltman models
Logic Journal of IGPL, 2009Domagoj Vrgoc, Mladen Vukovic
openaire +1 more source
Bisimulation of type 2 for BL-general fuzzy automata
Soft Computing, 2019Mohammad Mehdi Zahedi +1 more
exaly
Equivalence of dynamical systems by bisimulation
IEEE Transactions on Automatic Control, 2004A J van der Schaft
exaly
Bisimulation relations for dynamical, control, and hybrid systems
Theoretical Computer Science, 2005George J. Pappas, Paulo Tabuada
exaly
Symbolic Bisimulation for Quantum Processes
ACM Transactions on Computational Logic, 2014Yuxin Deng, Mingsheng Ying
exaly