Search results for "bisimulation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Marta Z. Kwiatkowska, Gethin Norman	Probabilistic Metric Semantics for a Simple Language with Recursion.	MFCS	1996	DBLP DOI BibTeX RDF
16	Flavio Corradini, Marco Pistore	Specification and Verification of Timed Lazy Systems.	MFCS	1996	DBLP DOI BibTeX RDF
16	Otmane Aït Mohamed	Mechanizing a pi-Calculus Equivalence in HOL.	TPHOLs	1995	DBLP DOI BibTeX RDF
16	Roberto M. Amadio, Mads Dam	Reasoning about Higher-Order Processes.	TAPSOFT	1995	DBLP DOI BibTeX RDF
16	Luca Aceto, Anna Ingólfsdóttir	CPO Models for a Class of GSOS Languages.	TAPSOFT	1995	DBLP DOI BibTeX RDF
16	Mogens Nielsen, Lutz Priese, Vladimiro Sassone	Characterizing Behavioural Congruences for Petri Nets.	CONCUR	1995	DBLP DOI BibTeX RDF
16	Adnan Aziz, Vigyan Singhal, Felice Balarin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli	Equivalences for Fair Kripke Structures.	ICALP	1994	DBLP DOI BibTeX RDF
16	Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger	The Observational Power of Clocks.	CONCUR	1994	DBLP DOI BibTeX RDF
16	Astrid Kiehn	On the Decidability of Non-Interleaving Process Equivalences.	CONCUR	1994	DBLP DOI BibTeX RDF
16	Kim Guldstrand Larsen, Wang Yi 0001	Time Abstracted Bisimiulation: Implicit Specifications and Decidability.	MFPS	1993	DBLP DOI BibTeX RDF
16	K. V. S. Prasad	Programming with Broadcasts.	CONCUR	1993	DBLP DOI BibTeX RDF	CR classification F3. 2 Semantics of Programming Languages-operational semantics, algebraic approaches to semantics
16	Jos C. M. Baeten, Chris Verhoef	A Congruence Theorem for Structured Operational Semantics with Predicates.	CONCUR	1993	DBLP DOI BibTeX RDF	CR Categories D.3.1, F.1.1, F.4.3, F.3.2
16	Luca Aceto, David Murphy	On the Ill-Timed but Well-Caused.	CONCUR	1993	DBLP DOI BibTeX RDF
16	Alexander Moshe Rabinovich	Checking Equivalences Between Concurrent Systems of Finite Agents (Extended Abstract).	ICALP	1992	DBLP DOI BibTeX RDF
16	Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn	A Theory of Process with Localities (Extended Abstract).	CONCUR	1992	DBLP DOI BibTeX RDF
16	Steven Klusener	The Silent Step in Time.	CONCUR	1992	DBLP DOI BibTeX RDF	& Phrases Real Time Process Algebra, Abstraction, ACP
16	Søren Christensen	Distributed Bisimularity is Decidable for a Class of Infinite State-Space Systems.	CONCUR	1992	DBLP DOI BibTeX RDF
16	Tim Fernando	Comparative Transition System Semantics.	CSL	1992	DBLP DOI BibTeX RDF
16	Costas Courcoubetis, Susanne Graf, Joseph Sifakis	An Algebra of Boolean Processes.	CAV	1991	DBLP DOI BibTeX RDF
16	Uno Holmer, Kim Guldstrand Larsen, Wang Yi 0001	Deciding Properties of Regular Real Time Processes.	CAV	1991	DBLP DOI BibTeX RDF
16	Walter Vogler	Deciding History Preserving Bisimilarity.	ICALP	1991	DBLP DOI BibTeX RDF
16	Philippe Darondeau, Pierpaolo Degano	Causal Trees.	ICALP	1989	DBLP DOI BibTeX RDF
16	Kim Guldstrand Larsen, Bent Thomsen	Compositional Proofs by Partial Specification of Processes.	MFCS	1988	DBLP DOI BibTeX RDF
16	Ahmed Bouajjani, Susanne Graf, Joseph Sifakis	A logig for the description of behaviours and properties of concurrent systems.	REX Workshop	1988	DBLP DOI BibTeX RDF	compositional proof methods, process algebra, expressivity, calculus, Program logic, adequacy
16	Kim Guldstrand Larsen	A Context Dependent Equivalence between Processes.	ICALP	1985	DBLP DOI BibTeX RDF
15	Jonas Krook, Robi Malik, Sahar Mohajerani, Martin Fabian	Robust stutter bisimulation for abstraction and controller synthesis with disturbance.	Autom.	2024	DBLP DOI BibTeX RDF
15	Eduardo Bonelli, Delia Kesner, Andrés Viso	A Strong Bisimulation for a Classical Term Calculus.	Log. Methods Comput. Sci.	2024	DBLP DOI BibTeX RDF
15	Sujata Ghosh, Shreyas Gupta, Lei Li	Bisimulation in model-changing modal logics: An algorithmic study.	J. Log. Comput.	2024	DBLP DOI BibTeX RDF
15	Maximilian Pflueger, David Tena Cucala, Egor V. Kostylev	Recurrent Graph Neural Networks and Their Connections to Bisimulation and Logic.	AAAI	2024	DBLP DOI BibTeX RDF
15	Ryan G. Scott, Mike Dodds, Ivan Perez 0001, Alwyn E. Goodloe, Robert Dockins	Trustworthy Runtime Verification via Bisimulation (Experience Report).	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
15	Hao Wu, Huan Long	Probabilistic weak bisimulation and axiomatization for probabilistic models.	Inf. Process. Lett.	2023	DBLP DOI BibTeX RDF
15	Linh Anh Nguyen	Computing the fuzzy partition corresponding to the greatest fuzzy auto-bisimulation of a fuzzy graph-based structure under the Gödel semantics.	Inf. Sci.	2023	DBLP DOI BibTeX RDF
15	Rob van Glabbeek	Reactive bisimulation semantics for a process algebra with timeouts.	Acta Informatica	2023	DBLP DOI BibTeX RDF
15	Sebastijan Horvat, Tin Perkov, Mladen Vukovic	Bisimulations and bisimulation games between Verbrugge models.	Math. Log. Q.	2023	DBLP DOI BibTeX RDF
15	Hongyu Zang, Xin Li, Leiji Zhang, Yang Liu 0155, Baigui Sun, Riashat Islam, Remi Tachet des Combes, Romain Laroche	Understanding and Addressing the Pitfalls of Bisimulation-based Representations in Offline Reinforcement Learning.	CoRR	2023	DBLP DOI BibTeX RDF
15	Darko Drakulic, Sofia Michel, Florian Mai, Arnaud Sors, Jean-Marc Andreoli	BQ-NCO: Bisimulation Quotienting for Generalizable Neural Combinatorial Optimization.	CoRR	2023	DBLP DOI BibTeX RDF
15	Clemens Grabmayer	The Image of the Process Interpretation of Regular Expressions is Not Closed under Bisimulation Collapse.	CoRR	2023	DBLP DOI BibTeX RDF
15	Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos	Fully Abstract Normal Form Bisimulation for Call-by-Value PCF.	CoRR	2023	DBLP DOI BibTeX RDF
15	MohammadSadegh Mohagheghi, Khayyam Salehi	Improving Probabilistic Bisimulation for MDPs Using Machine Learning.	CoRR	2023	DBLP DOI BibTeX RDF
15	Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos	Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence.	CoRR	2023	DBLP DOI BibTeX RDF
15	MohammadSadegh Mohagheghi, Khayyam Salehi	Splitter Orderings for Probabilistic Bisimulation.	CoRR	2023	DBLP DOI BibTeX RDF
15	Qiyuan Liu 0008, Qi Zhou, Rui Yang, Jie Wang 0005	Robust Representation Learning by Clustering with Bisimulation Metrics for Visual Reinforcement Learning with Distractions.	CoRR	2023	DBLP DOI BibTeX RDF
15	Jos C. M. Baeten, Bas Luttik	Parallel Pushdown Automata and Commutative Context-Free Grammars in Bisimulation Semantics (Extended Abstract).	EXPRESS/SOS	2023	DBLP DOI BibTeX RDF
15	Purandar Bhaduri	Coalgebras for Bisimulation of Weighted Automata over Semirings.	Log. Methods Comput. Sci.	2023	DBLP DOI BibTeX RDF
15	Jos C. M. Baeten, Cesare Carissimo, Bas Luttik	Pushdown Automata and Context-Free Grammars in Bisimulation Semantics.	Log. Methods Comput. Sci.	2023	DBLP DOI BibTeX RDF
15	Jan Friso Groote, Jan Martens 0001, Erik P. de Vink	Lowerbounds for Bisimulation by Partition Refinement.	Log. Methods Comput. Sci.	2023	DBLP DOI BibTeX RDF
15	Guifei Jiang, Laurent Perrussel, Dongmo Zhang, Heng Zhang 0006, Yuzhi Zhang	Game equivalence and expressive power of game description languages: a bisimulation approach.	J. Log. Comput.	2023	DBLP DOI BibTeX RDF
15	M. H. Bandukara, Nikos Tzevelekos	On-the-fly bisimulation equivalence checking for fresh-register automata.	J. Syst. Archit.	2023	DBLP DOI BibTeX RDF
15	Markel Sanz Ausin, Mark Abdelshiheed, Tiffany Barnes, Min Chi	A Unified Batch Hierarchical Reinforcement Learning Framework for Pedagogical Policy Induction with Deep Bisimulation Metrics.	AIED (Posters/Late Breaking Results/...)	2023	DBLP DOI BibTeX RDF
15	Roland Glück	Compatibility of Refining and Controlling Plant Automata with Bisimulation Quotients.	RAMiCS	2023	DBLP DOI BibTeX RDF
15	Stefan Göller, Pawel Parys	Weak Bisimulation Finiteness of Pushdown Systems With Deterministic ε-Transitions Is 2-EXPTIME-Complete.	SODA	2023	DBLP DOI BibTeX RDF
15	Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos	Fully Abstract Normal Form Bisimulation for Call-by-Value PCF.	LICS	2023	DBLP DOI BibTeX RDF
15	Qiyuan Liu 0008, Qi Zhou, Rui Yang, Jie Wang 0005	Robust Representation Learning by Clustering with Bisimulation Metrics for Visual Reinforcement Learning with Distractions.	AAAI	2023	DBLP DOI BibTeX RDF
15	Yiming Wang, Ming Yang, Renzhi Dong, Binbin Sun, Furui Liu, Leong Hou U	Efficient Potential-based Exploration in Reinforcement Learning using Inverse Dynamic Bisimulation Metric.	NeurIPS	2023	DBLP BibTeX RDF
15	Darko Drakulic, Sofia Michel, Florian Mai, Arnaud Sors, Jean-Marc Andreoli	BQ-NCO: Bisimulation Quotienting for Efficient Neural Combinatorial Optimization.	NeurIPS	2023	DBLP BibTeX RDF
15	Hongyu Zang, Xin Li, Leiji Zhang, Yang Liu 0155, Baigui Sun, Riashat Islam, Remi Tachet des Combes, Romain Laroche	Understanding and Addressing the Pitfalls of Bisimulation-based Representations in Offline Reinforcement Learning.	NeurIPS	2023	DBLP BibTeX RDF
15	Andrea Esposito 0006, Alessandro Aldini, Marco Bernardo 0001	Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems.	FORTE	2023	DBLP DOI BibTeX RDF
15	Charline Le Lan, Rishabh Agarwal	Revisiting Bisimulation: A Sampling-Based State Similarity Pseudo-metric.	Tiny Papers @ ICLR	2023	DBLP BibTeX RDF
15	Mete Kemertas, Allan Douglas Jepson	Approximate Policy Iteration with Bisimulation Metrics.	Trans. Mach. Learn. Res.	2022	DBLP BibTeX RDF
15	Claudio Hermida, Uday S. Reddy, Edmund Robinson, Alessio Santamaria	Bisimulation as a logical relation.	Math. Struct. Comput. Sci.	2022	DBLP DOI BibTeX RDF
15	Weiming Xiang 0001, Zhongzhu Shao	Approximate Bisimulation Relations for Neural Networks and Application to Assured Neural Network Compression.	CoRR	2022	DBLP BibTeX RDF
15	Florian Bruse, David Kronenberger, Martin Lange	Capturing Bisimulation-Invariant Exponential-Time Complexity Classes.	GandALF	2022	DBLP DOI BibTeX RDF
15	Philippe Hansen-Estruch, Amy Zhang 0001, Ashvin Nair, Patrick Yin, Sergey Levine	Bisimulation Makes Analogies in Goal-Conditioned Reinforcement Learning.	CoRR	2022	DBLP DOI BibTeX RDF
15	Xian Xu	On Bisimulation in Absence of Restriction.	CoRR	2022	DBLP DOI BibTeX RDF
15	Pablo F. Castro, Pedro R. D'Argenio, Luciano Putruele, Ramiro Demasi	A Stochastic Game Approach to Masking Fault-Tolerance: Bisimulation and Quantification.	CoRR	2022	DBLP DOI BibTeX RDF
15	Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik	On the Axiomatisation of Branching Bisimulation Congruence over CCS.	CoRR	2022	DBLP DOI BibTeX RDF
15	Mete Kemertas, Allan D. Jepson	Trusted Approximate Policy Iteration with Bisimulation Metrics.	CoRR	2022	DBLP BibTeX RDF
15	Herman Geuvers, Anton Golov	Directed branching bisimulation via apartness and positive logic.	CoRR	2022	DBLP DOI BibTeX RDF
15	Jonas Krook, Robi Malik, Sahar Mohajerani, Martin Fabian	Robust Stutter Bisimulation for Abstraction and Controller Synthesis with Disturbance: Proofs.	CoRR	2022	DBLP DOI BibTeX RDF
15	Martin Bertran Lopez, Walter Talbott, Nitish Srivastava, Joshua M. Susskind	Efficient Embedding of Semantic Similarity in Control Policies via Entangled Bisimulation.	CoRR	2022	DBLP BibTeX RDF
15	Jos C. M. Baeten, Cesare Carissimo, Bas Luttik	Pushdown Automata and Context-Free Grammars in Bisimulation Semantics.	CoRR	2022	DBLP DOI BibTeX RDF
15	Jonathan Warrell, Alexey Potapov, Adam Vandervorst, Ben Goertzel	A meta-probabilistic-programming language for bisimulation of probabilistic and non-well-founded type systems.	CoRR	2022	DBLP DOI BibTeX RDF
15	Jan Friso Groote, Jan Martens 0001, Erik P. de Vink	Lowerbounds for Bisimulation by Partition Refinement.	CoRR	2022	DBLP DOI BibTeX RDF
15	Wenbo Zhang	The parametric complexity of bisimulation equivalence of normed pushdown automata.	Frontiers Comput. Sci.	2022	DBLP DOI BibTeX RDF
15	Thomas Chatain, Maurice Comlan, David Delfieu, Loïg Jezequel, Olivier Henri Roux	Pomset bisimulation and unfolding for reset Petri nets.	Inf. Comput.	2022	DBLP DOI BibTeX RDF
15	Borja Balle, Pascale Gourdeau, Prakash Panangaden	Bisimulation metrics and norms for real-weighted automata.	Inf. Comput.	2022	DBLP DOI BibTeX RDF
15	Weiming Xiang 0001, Zhongzhu Shao	Approximate Bisimulation Relations for Neural Networks and Application to Assured Neural Network Compression.	ACC	2022	DBLP DOI BibTeX RDF
15	Hubert Garavel, Frédéric Lang	Equivalence Checking 40 Years After: A Review of Bisimulation Tools.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
15	Mousumi Mukherjee, Naim Bajçinca	Bisimulation of strongly autonomous n-D systems.	ECC	2022	DBLP DOI BibTeX RDF
15	Jonathan Warrell, Alexey Potapov, Adam Vandervorst, Ben Goertzel	A Meta-Probabilistic-Programming Language for Bisimulation of Probabilistic and Non-Well-Founded Type Systems.	AGI	2022	DBLP DOI BibTeX RDF
15	Mark Bouwman, Maurice Laveaux, Bas Luttik, Tim A. C. Willemse	Decompositional Branching Bisimulation Minimisation of Monolithic Processes.	FACS	2022	DBLP DOI BibTeX RDF
15	Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik	On the Axiomatisation of Branching Bisimulation Congruence over CCS.	CONCUR	2022	DBLP DOI BibTeX RDF
15	Philippe Hansen-Estruch, Amy Zhang 0001, Ashvin Nair, Patrick Yin, Sergey Levine	Bisimulation Makes Analogies in Goal-Conditioned Reinforcement Learning.	ICML	2022	DBLP BibTeX RDF
15	Shu Feng, Yi Zhu, Mei Song, Yuxiang Gao	Analysis and Verification of Bisimulation Relationship for Learning Time-Behavior Sequence.	DSA	2022	DBLP DOI BibTeX RDF
15	Francesco Basile, Gianmaria De Tommasi	Assessment of Bisimulation Non-Interference in Discrete Event Systems Modelled With Bounded Petri Nets.	IEEE Control. Syst. Lett.	2021	DBLP DOI BibTeX RDF
15	Gabriel de Albuquerque Gleizer, Manuel Mazo Jr.	Towards Traffic Bisimulation of Linear Periodic Event-Triggered Controllers.	IEEE Control. Syst. Lett.	2021	DBLP DOI BibTeX RDF
15	Hong Nguyen Thi Khanh	Classification of Concepts Using Decision Trees for Inconsistent Knowledge Systems Based on Bisimulation.	J. Inf. Hiding Multim. Signal Process.	2021	DBLP BibTeX RDF
15	Ivano Ciardelli, Martin Otto 0001	Inquisitive Bisimulation.	J. Symb. Log.	2021	DBLP DOI BibTeX RDF
15	Sahar Mohajerani, Robi Malik, Andrew Wintenberg, Stéphane Lafortune, Necmiye Ozay	Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications.	Autom.	2021	DBLP DOI BibTeX RDF
15	Ruggero Lanotte, Simone Tini	A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces.	Theor. Comput. Sci.	2021	DBLP DOI BibTeX RDF
15	Francesco Andreuzzi	BisPy: Bisimulation in Python.	J. Open Source Softw.	2021	DBLP DOI BibTeX RDF
15	Jie Fan 0001	Bimodal Logic with Contingency and Accident: Bisimulation and Axiomatizations.	Logica Universalis	2021	DBLP DOI BibTeX RDF
15	Linh Anh Nguyen	Computing the Fuzzy Partition Corresponding to the Greatest Fuzzy Auto-Bisimulation of a Fuzzy Graph-Based Structure.	CoRR	2021	DBLP BibTeX RDF
15	Mete Kemertas, Tristan Aumentado-Armstrong	Towards Robust Bisimulation Metric Learning.	CoRR	2021	DBLP BibTeX RDF
15	Purandar Bhaduri	Coalgebras for Bisimulation of Weighted Automata over Semirings.	CoRR	2021	DBLP BibTeX RDF
15	Stefan Kiefer, Qiyi Tang 0001	Approximate Bisimulation Minimisation.	CoRR	2021	DBLP BibTeX RDF
15	Eduardo Bonelli, Delia Kesner, Andrés Viso	A Strong Bisimulation for Control Operators by Means of Multiplicative and Exponential Reduction.	CoRR	2021	DBLP BibTeX RDF
15	Rob van Glabbeek, Peter Höfner, Weiyou Wang	Enabling Preserving Bisimulation Equivalence.	CoRR	2021	DBLP BibTeX RDF
15	Jan Martens 0001, Jan Friso Groote, Lars B. van den Haak, Pieter Hijma, Anton Wijs	A linear parallel algorithm to compute bisimulation and relational coarsest partitions.	CoRR	2021	DBLP BibTeX RDF
15	Raoul Koudijs	Finite Model Property and Bisimulation for LFD.	GandALF	2021	DBLP DOI BibTeX RDF