Publication year: 2019
ISBN: 978-3-030-25540-4
Internet Resource: Please Login to download book
This volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems.
Subject: Computer Science / Programming Languages, Compilers, Interpreters / Theory of Computation / Simulation and Modeling / Computer Systems Organization and Communication Networks / artificial intelligence / authentication / data security / formal logic / formal methods / model checker / model checking / reactive system / robots / software engineering / software evaluation / specifications / temporal logic / timed automata / verification