Compositional Analysis of Probabilistic Timed Graph Transformation Systems.
Maria MaximovaSven SchneiderHolger GiesePublished in: Formal Aspects Comput. (2023)
Keyphrases
- graph transformation
- probabilistic model
- complex systems
- intelligent systems
- neural network
- finite state machines
- computer systems
- bayesian networks
- expert systems
- building blocks
- information systems
- digital libraries
- data analysis
- real time
- genetic algorithm
- multiscale
- knowledge based systems
- statistical analysis
- learning systems
- quantitative analysis
- metadata