On an Invariance Problem for Parameterized Concurrent Systems.

Marius Bozga Lucas Bueri Radu Iosif

Published in: CoRR (2022)

Keyphrases

concurrent systems
temporal logic
distributed systems
transition systems
process algebra
model checking
formal specification
petri net
discriminative power
neural network
invariant properties
object recognition
case study
real time
view invariant action recognition
image registration
category recognition