Joshua Moerman joshua · any pronouns
joshua synced commits to main at joshua/mealy-decompose from mirror 2025-05-07 21:37:44 +02:00
21306ffe6a hacky compositional testing. not yet better
ec8a4f0689 Added simultaneous bfs algorithm, not yet tested on a bigger model
Compare 2 commits »
joshua synced commits to main at joshua/mealy-decompose from mirror 2025-04-29 17:57:44 +02:00
a4d97a9d04 hsi and w method (almost)
8e3d2d6dbb Addded state cover to hsi method
Compare 2 commits »
joshua synced commits to main at joshua/mealy-decompose from mirror 2025-04-29 09:57:43 +02:00
9b6a050bda added some copyrgiht info