Describing weighted safety with weighted LTL over product omega-valuation monoids.

Published in: Sci. Ann. Comput. Sci. (2023)

Keyphrases

artificial intelligence
real time
databases
neural network
machine learning
genetic algorithm
weighted sum
weighted distance
bounded model checking