Constructive logical characterizations of bisimilarity for reactive probabilistic systems.
Marco BernardoMarino MiculanPublished in: Theor. Comput. Sci. (2019)
Keyphrases
- knowledge based systems
- social networks
- learning systems
- intelligent systems
- computing systems
- agent architecture
- complex systems
- generative model
- distributed systems
- probabilistic logic
- data sets
- computational intelligence
- management system
- probabilistic model
- digital libraries
- multiscale
- learning algorithm
- data mining