Login / Signup
A Generic Dynamic Logic with Applications to Interaction-Based Systems.
Rolf Hennicker
Martin Wirsing
Published in:
From Software Engineering to Formal Methods and Tools, and Back (2019)
Keyphrases
</>
dynamic logic
complex systems
intelligent systems
human computer interaction
interactive systems
general purpose
learning systems
data sets
artificial intelligence
user interface
computer systems
user interaction