Parametric Interval Temporal Logic over Infinite Words.

Laura Bozzelli Adriano Peron

Published in: GandALF (2022)

Keyphrases

temporal logic
model checking
interval type fuzzy sets
modal logic
concurrent systems
satisfiability problem
mazurkiewicz traces
belief revision
transition systems
verification method
computation tree logic
model checker
reactive systems
symbolic model checking
inference rules
linear temporal logic