Verification of component-based systems with recursive architectures.
Marius BozgaRadu IosifJoseph SifakisPublished in: Theor. Comput. Sci. (2023)
Keyphrases
- management system
- real time systems
- learning systems
- intelligent systems
- search algorithm
- hidden markov models
- embedded systems
- complex systems
- building blocks
- knowledge based systems
- computer systems
- distributed systems
- real time
- expert systems
- case study
- decision trees
- knowledge base
- decision making
- genetic algorithm
- real world
- neural network
- data sets