Partial-order Checking with Unfolding for Linear Temporal Properties.

Shuo Li Liao Zheng Zhijun Ding

Published in: CoRR (2023)

Keyphrases

partial order
temporal properties
partially ordered
model checking
total order
possibility theory
petri net
lattice structure
preference relations
causal links
totally ordered
temporal planning
neural network
object oriented
decision making
artificial intelligence
data mining