HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL.

Jaehun Lee Sharon Kim Kyungmin Bae Peter Csaba Ölveczky

Published in: CAV (1) (2021)

Keyphrases

formal analysis
formal methods
agent model
ban logic
genetic algorithm
learning algorithm
expert systems