Requirement falsification for cyber-physical systems using generative models.
Jarkko PeltomäkiIvan PorresPublished in: CoRR (2023)
Keyphrases
- generative model
- cyber physical systems
- cyber physical
- probabilistic model
- discriminative models
- em algorithm
- physical world
- cyber security
- prior knowledge
- discriminative learning
- conditional random fields
- semi supervised
- embedded systems
- object categories
- hierarchical hidden markov models
- generative and discriminative models
- expectation maximization
- social networks
- critical infrastructure
- discriminative methods
- information systems
- real time
- low cost
- machine learning