Tackling Cyberattacks through AI-based Reactive Systems: A Holistic Review and Future Vision.
Sergio Bernardez MolinaPantaleone NespoliFélix Gómez MármolPublished in: CoRR (2023)
Keyphrases
- reactive systems
- artificial intelligence
- computer vision
- temporal logic
- long term
- machine learning
- information flow
- case based reasoning
- model checking
- real time
- current status
- knowledge based systems
- expert systems
- vision system
- intelligent systems
- knowledge representation
- knowledge base
- formal methods
- control flow
- petri net
- embedded systems
- theorem prover
- multi agent systems
- user interface