search

dionysos-dev / Dionysos.jl

MIT License
45 stars 16 forks source link

Abstraction with scaled cells #70

Closed blegat closed 1 year ago

blegat commented 3 years ago

Instead of using non-overlapping cells and hypergraphs as it is done currently, another approach is to use scaling cells and graphs to have a bisimulation.

JulienCalbert commented 1 year ago

We implemented abstraction based on a cover of ellispoids => overlapping cells