Timed Automata: Semantics, Algorithms and Tools

By J. Bengtsson, Wang Yi. Lectures on Concurrency and Petri Nets, 2003

990 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics, Software

View Paper: https://www.semanticscholar.org/paper/c5ab3aaf4288821cef0d3778e2944345cc347d85

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Joost-Pieter Katoen
2. Christel Baier
3. Kim Guldstrand Larsen

In Computational Theory and Mathematics

1. Joost-Pieter Katoen
2. Christel Baier
3. Kim Guldstrand Larsen

In Software

1. Joost-Pieter Katoen
2. Kim Guldstrand Larsen
3. Christel Baier

Citations in the corpus

• Model Checking Real-Time Systems (2018, positive): “Efforts have been made to develop more efficient representations of the state space [34, 39, 103, 121], using the notion of zones introduced below as a coarser and more compact representation of the state space.”
• Principles of model checking (2008, methodology): “Survey papers on model-checking timed automata have been provided by Bengtsson and Yi [43] and Yovine [430].”