Similar Items: FlexFringe: Modeling Software Behavior by Learning Probabilistic Automata
- Model Checking Probabilistic Pushdown Automata
- Computing Probabilistic Bisimilarity Distances for Probabilistic Automata
- Refinement and Difference for Probabilistic Automata
- A view from the fringes: Exploring alternative modes of value creation on the fringe platform Gab
- Cost Preserving Bisimulations for Probabilistic Automata
- High-level Counterexamples for Probabilistic Automata