Author:
Katz David,Saeedloei Neda
Publisher
Springer Nature Switzerland
Reference18 articles.
1. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994)
2. An, J., Chen, M., Zhan, B., Zhan, N., Zhang, M.: Learning one-clock timed automata. In: Biere, A., Parker, D. (eds.) Tools and Algorithms for the Construction and Analysis of Systems, pp. 444–462. Springer International Publishing, Cham (2020)
3. Clarke, E.M., Jr., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge, MA, USA (1999)
4. Cornanguer, L., Largouët, C., Rozé, L., Termier, A.: TAG: learning timed automata from logs. In: AAAI 2022—36th AAAI Conference on Artificial Intelligence, pp. 1–9. Virtual, Canada (2022). https://hal.inria.fr/hal-03564455
5. Damas, C., Lambeau, B., Roucoux, F., van Lamsweerde, A.: Analyzing critical process models through behavior model synthesis. In: Proceedings of the 31st International Conference on Software Engineering, pp. 441–451. IEEE Computer Society (2009). https://doi.org/10.1109/ICSE.2009.5070543