• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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