Login / Signup
Guess What I'm Doing! - Rendering Formal Verification Methods Ripe for the Era of Interacting Intelligent Systems.
Martin Fränzle
Paul Kröger
Published in:
ISoLA (3) (2020)
Keyphrases
</>
intelligent systems
formal verification
real time
computational intelligence
intelligent agents
hybrid intelligent systems
neural network
genetic algorithm
ambient intelligence
ai systems
artificial intelligence
image processing
pattern recognition
expert systems
soft computing