Search alternatives:
"proving" » "providing", "improving", "province"
Cover Image
Read Now

1
by Platzer, André
Published 2010
Springer Berlin Heidelberg
Table of Contents: “...-Algebraic Dynamic Logic DAL -- Differential Temporal Dynamic Logic dTL -- Automated Theorem Proving...”
Cover Image
Read Now

2
by Platzer, André
Published 2018
Springer International Publishing
Table of Contents: “... -- Hybrid Systems and Games -- Winning Strategies and Regions -- Winning and Proving Hybrid Games -- Game...”