Parameterized Repair of Concurrent Systems.

Swen Jacobs Mouhammad Sakr Marcus Völp

Published in: CoRR (2021)

Keyphrases

concurrent systems
temporal logic
distributed systems
model checking
process algebra
petri net
transition systems
formal specification
damage assessment
artificial intelligence
failure rate
consistent query answering
data mining
finite state
query language
optimal solution
learning algorithm