Login / Signup

PSTMonitor: Monitor Synthesis from Probabilistic Session Types.

Christian Bartolo BurlòAdrian FrancalanzaAlceste ScalasCatia TrubianiEmilio Tuosto
Published in: CoRR (2022)
Keyphrases
  • bayesian networks
  • uncertain data
  • generative model
  • real time
  • monitoring system
  • data mining
  • artificial neural networks
  • probabilistic model
  • data driven
  • texture synthesis