Weighted Linear Dynamic Logic.

Manfred Droste Gustav Grabolle George Rahonis

Published in: Int. J. Found. Comput. Sci. (2024)

Keyphrases

dynamic logic
reasoning about actions
modal logic
imperative programs
genetic algorithm
dynamic environments
weighted sum
order statistics
classical first order logic