Timed Systems through the Lens of Logic

27 Apr 2019 Akshay S. Gastin Paul Juge Vincent Krishna Shankara Narayanan

In this paper, we analyze timed systems with data structures, using a rich interplay of logic and properties of graphs. We start by describing behaviors of timed systems using graphs with timing constraints... (read more)

PDF Abstract
No code implementations yet. Submit your code now

Categories


  • LOGIC IN COMPUTER SCIENCE