Paraconsistent Transition Systems.

Ana Cruz Alexandre Madeira Luís Soares Barbosa

Published in: CoRR (2023)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
control flow
inference rules
practical reasoning
hidden markov models
distributed systems
formal specification
learning algorithm
model checker