Login / Signup
On the decidability of reachability in linear time-invariant systems.
Nathanaël Fijalkow
Joël Ouaknine
Amaury Pouly
João Sousa Pinto
James Worrell
Published in:
HSCC (2019)
Keyphrases
</>
real time
learning algorithm
state space
complex systems
query answering
dynamic systems