State Identification Problems for Timed Automata

By Moez Krichen, Stavros Tripakis. 2005

22 citations recorded by the source corpus.

How researchers see this paper

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

1. Moez Krichen
2. Stavros Tripakis

Citations in the corpus

• Generative Adversarial Networks (2021, neutral): “Formal methods can be used to improve the reliability and safety of GANs by verifying the properties of GANs or generating adversarial examples to evaluate their robustness [23], [24].”
• Convolutional Neural Networks: A Survey (2023, unknown): “Formal methods can provide a high degree of confidence in the correctness of a system by proving that it meets a set of formal specifications and requirements [207–210].”
• Conformance testing for real-time systems (2004, background): “Some preliminary work has been done in this direction but many problems remain open [37].”