Gödel-Dummett linear temporal logic.

Juan Pablo Aguilera Ozuna Martín Diéguez David Fernández-Duque Brett McLean

Published in: CoRR (2023)

Keyphrases

linear temporal logic
temporal logic
model checking
bounded model checking
social bookmarking
modal logic
linear time temporal logic
evolutionary algorithm
domain specific
software architecture
inference rules
classical planning
transition systems