Covariant-Contravariant Refinement Modal μ-calculus.

Published in: CoRR (2022)

Keyphrases

transition systems
modal logic
temporal logic
refinement process
concurrent systems
neural network
formal language
data mining
evolutionary algorithm
inference rules
provably correct