Importance Splitting in Uppaal.

Kim Guldstrand Larsen Axel Legay Marius Mikucionis Danny Bøgsted Poulsen

Published in: ISoLA (3) (2022)

Keyphrases

model checking
relative importance
controller synthesis
databases
data mining
machine learning
decision making
image processing