Cover Image

Bisimulation Learning

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Abate, Alessandro, Giacobbe, Mirco, Schnitzer, Yannik
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Branching Bisimulation Learning
by: Abate, Alessandro, et al.
Published: (2025)

Value Functions as Supermartingale Certificates
by: Abate, Alessandro, et al.
Published: (2026)

Stochastic Omega-Regular Verification and Control with Supermartingales
by: Abate, Alessandro, et al.
Published: (2024)

Quantitative Supermartingale Certificates
by: Abate, Alessandro, et al.
Published: (2025)

Complete $ω$-Regular Supermartingale Certificates
by: Abate, Alessandro, et al.
Published: (2026)

Neural Model Checking
by: Giacobbe, Mirco, et al.
Published: (2024)

Logical GANs: Adversarial Learning through Ehrenfeucht Fraisse Games
by: Mannucci, Mirco A.
Published: (2025)

Neural Proofs for Sound Verification and Control of Complex Systems
by: Abate, Alessandro
Published: (2025)

A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis
by: Edwards, Alec, et al.
Published: (2023)

Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models
by: Edwards, Alec, et al.
Published: (2023)

Existence and Synthesis of Multi-Resolution Approximate Bisimulations for Continuous-State Dynamical Systems
by: Coppola, Rudi, et al.
Published: (2025)

Multi-Property Synthesis
by: Weinhuber, Christoph, et al.
Published: (2026)

Better Bounded Bisimulation Contractions (Preprint)
by: Bolander, Thomas, et al.
Published: (2024)

Robust Shielding for Safe Reinforcement Learning
by: Court, Edwin Hamel-De le, et al.
Published: (2026)

Quantitative Verification with Neural Networks
by: Abate, Alessandro, et al.
Published: (2023)

Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations
by: de Frutos-Escrig, David, et al.
Published: (2024)

Safe Reach Set Computation via Neural Barrier Certificates
by: Abate, Alessandro, et al.
Published: (2024)

Robust Parameter Learning for Uncertain MDPs
by: Schnitzer, Yannik, et al.
Published: (2026)

Zero-Knowledge Model Checking
by: Berrang, Pascal, et al.
Published: (2026)

Efficient Solution and Learning of Robust Factored MDPs
by: Schnitzer, Yannik, et al.
Published: (2025)

Finitary Truly Concurrent Bisimulations
by: Wang, Yong
Published: (2026)

Lowerbounds for Bisimulation by Partition Refinement
by: Groote, Jan Friso, et al.
Published: (2022)

A Spectrum of Approximate Probabilistic Bisimulations
by: Spork, Timm, et al.
Published: (2024)

Relating Apartness and Branching Bisimulation Games
by: Rot, Jurriaan, et al.
Published: (2024)

Aczel-Mendler Bisimulations in a Regular Category
by: Dubut, Jeremy
Published: (2023)

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem
by: Alrahman, Yehia Abd, et al.
Published: (2025)

A Strong Bisimulation for a Classical Term Calculus
by: Bonelli, Eduardo, et al.
Published: (2021)

On the Complexity of Robust Markov Decision Processes and Bisimulation Metrics
by: Suilen, Marnix, et al.
Published: (2026)

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
by: Spork, Timm, et al.
Published: (2025)

How (and when) can you fit examples to logic-based hypothesis classes over infinite structures?
by: Benedikt, Michael, et al.
Published: (2026)

From learnable objects to learnable random objects
by: Anderson, Aaron, et al.
Published: (2025)

Programs as Singularities
by: Murfet, Daniel, et al.
Published: (2025)

Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach
by: Meli, Daniele, et al.
Published: (2024)

A Framework for Coalgebraic Reward-Sensitive Bisimulation (Extended Version)
by: de Amorim, Pedro H. Azevedo, et al.
Published: (2026)

Deep Learning with Parametric Lenses
by: Cruttwell, Geoffrey S. H., et al.
Published: (2024)

Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning (Extended Version)
by: Olivieri, Pierriccardo, et al.
Published: (2026)

Output-decomposed Learning of Mealy Machines
by: Koenders, Rick, et al.
Published: (2024)

Scalable Interconnect Learning in Boolean Networks
by: Kresse, Fabian, et al.
Published: (2025)

Certifiably Robust Policies for Uncertain Parametric Environments
by: Schnitzer, Yannik, et al.
Published: (2024)

Null Measurability at the Symmetrization Interface in VC Learning
by: Gupta, Dhruv
Published: (2026)