A spectral property for concurrent systems and some probabilistic applications.
Samy AbbesJean MairesseYi-Ting ChenPublished in: Discret. Math. (2021)
Keyphrases
- concurrent systems
- temporal logic
- distributed systems
- transition systems
- petri net
- process algebra
- probabilistic model
- generative model
- model checking
- probabilistic logic
- data driven
- formal specification
- multispectral images
- spectral analysis
- bayesian networks
- uncertain data
- hyperspectral imagery
- infrared
- multispectral
- case study
- building blocks
- hyperspectral
- open source
- probability distribution