Login / Signup
Description of the UPPAAL Models for SRP and CSRP and Verification of their Termination and Consistency Properties.
Daniel Bujosa
Inés Álvarez
Julián Proenza
Published in:
CoRR (2020)
Keyphrases
</>
model checking
high level
neural network
multi agent systems
prior knowledge
d objects
temporal logic
probability models