Lifelong Learning of Reactive Systems in Practice.
Alexander BainczykBernhard SteffenFalk HowarPublished in: The Logic of Software. A Tasting Menu of Formal Methods (2022)
Keyphrases
- lifelong learning
- reactive systems
- learning processes
- information and communication technologies
- competence development
- personal knowledge management
- e learning
- m learning
- temporal logic
- learning community
- online course
- model checking
- information flow
- control flow
- formal methods
- professional development
- reinforcement learning
- real time
- knowledge acquisition
- low cost
- machine learning