Name
Abstract | ||
|---|---|---|
RoboSim is a tool-independent notation for modeling software simulations of robots, and it can be verified by a variety of techniques and tools, including model checking and theorem proving. RoboSim has a formal tock-CSP (Communicating Sequential Processes) semantics, and so refinement checkers, such as FDR, can be used for verification of models. In this paper, we explore the use of UPPAAL, as a ... |
Year | DOI | Venue |
|---|---|---|
2021 | 10.1109/TASE52547.2021.00037 | 2021 International Symposium on Theoretical Aspects of Software Engineering (TASE) |
Keywords | DocType | ISBN |
Semantics,Swarm robotics,Stochastic processes,Automata,Tools,Model checking,Software | Conference | 978-1-6654-4163-6 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
6 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Mingzhuo Zhang | 1 | 0 | 0.34 |
| Dehui Du | 2 | 147 | 16.40 |
| Augusto Sampaio | 3 | 96 | 13.42 |
| Ana Cavalcanti | 4 | 668 | 59.95 |
| Madiel Conserva Filho | 5 | 2 | 1.46 |
| Menghan Zhang | 6 | 0 | 0.34 |