Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Transforming RoboSim Models into UPPAAL | 0 | 0.34 | 2021 |
| Verified simulation for robotics. | 1 | 0.41 | 2019 |
| Compositional and local livelock analysis for CSP. | 1 | 0.37 | 2018 |
| Implementing tactics of refinement in CRefine | 0 | 0.34 | 2012 |