15 entries « 1 of 5 »

Turker, Uraz; Hierons, Robert; Mousavi, Mohammad Reza; Tyukin, Ivan

Efficient state synchronisation in model-based testing through reinforcement learning Inproceedings

In: Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering (ASE 2021)., IEEE/ACM, 2021.

Abstract | Links | BibTeX

Amram, Gal; Maoz, Shahar; Pistiner, Or; Ringert, Jan Oliver

Efficient Algorithms for Omega-Regular Energy Games Inproceedings

In: Huisman, Marieke; Pasareanu, Corina S.; Zhan, Naijun (Ed.): Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 163–181, Springer, 2021.

Links | BibTeX

Maoz, Shahar; Ringert, Jan Oliver

Spectra: a specification language for reactive systems Journal Article

In: Softw. Syst. Model., 20 (5), pp. 1553–1586, 2021.

Links | BibTeX

15 entries « 1 of 5 »