Generalize Synchronization Mechanism: Specification, Properties, Limits.

Chih-Wei Chien Chi-Yeh Chen

Published in: CoRR (2023)

Keyphrases

feature selection
expert systems
real world
artificial intelligence
reinforcement learning
rough sets
structural properties
formal verification
provably correct