Deciding Reachability and Coverability in Lossy EOS.

Francesco Di Cosmo Soumodev Mal Tephilla Prince

Published in: PNSE@Petri Nets (2024)

Keyphrases

data compression
earth science data
state space
earth science
transitive closure
data sets
data structure
lossy compression
earth observing
neural network
information retrieval
information systems
source coding
lossless coding