Asynchronous Composition of LTL Properties over Infinite and Finite Traces.

Alberto Bombardelli Stefano Tonetta

Published in: CoRR (2023)

Keyphrases

model checking
temporal logic
linear temporal logic
structural properties
data sets
neural network
artificial intelligence
multiscale
data model
finite automata