conftrace_

behavioral equivalence

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

differentiable loss (1) deterministic system (1) neural network (1) state similarity (1) bisimulation metric (1) continuous state (1) markov decision process (1) state abstraction (1)

Papers

Scalable Methods for Computing State Similarity in Deterministic Markov Decision Processes AAAI 2020