Bridging Formal Methods and Machine Learning with Global Optimisation | 0 | 0.34 | 2022 |
Strategies for MDP Bisimilarity Equivalence and Inequivalence | 0 | 0.34 | 2022 |
Approximate Bisimulation Minimisation. | 0 | 0.34 | 2021 |
Computing Probabilistic Bisimilarity Distances For Probabilistic Automata | 0 | 0.34 | 2021 |
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. | 0 | 0.34 | 2019 |
Compiler fuzzing: how much does it matter? | 0 | 0.34 | 2019 |
Visual analytics for concurrent Java executions | 0 | 0.34 | 2019 |
A Systematic Impact Study for Fuzzer-Found Compiler Bugs. | 0 | 0.34 | 2019 |
Deciding Probabilistic Bisimilarity Distance One For Labelled Markov Chains | 0 | 0.34 | 2018 |
Deciding probabilistic bisimilarity distance one for probabilistic automata | 0 | 0.34 | 2018 |
Algorithms to Compute Probabilistic Bisimilarity Distances for Labelled Markov Chains. | 2 | 0.38 | 2017 |
Computing Probabilistic Bisimilarity Distances via Policy Iteration. | 5 | 0.73 | 2016 |