ieee transactions on automatic control (9)
ifac papersonline (8)
ifac-papersonline (8)
automatica (5)
discrete event dynamic systems (4)
discrete event dynamic systems: theory and applications (4)
institute of electrical and electronics engineers. transactions on automatic control (3)
automatica. a journal of ifac, the international federation of automatic control (2)
2019 american control conference (acc), control conference (acc), 2019 american (1)
2019 ieee 58th conference on decision and control (cdc), decision and control (cdc), 2019 ieee 58th conference on (1)
2022 ieee 30th international requirements engineering conference workshops (rew), requirements engineering conference workshops (rew), 2022 ieee 30th, rew (1)
2022 international symposium on software engineering for adaptive and self-managing systems (seams), software engineering for adaptive and self-managing systems (seams), 2022 international symposium on, seams (1)
2023 american control conference (acc), american control conference (acc), 2023 (1)
2023 formal methods in computer-aided design (fmcad), formal methods in computer-aided design (fmcad), 2023 (1)
2023 ieee conference on control technology and applications (ccta), control technology and applications (ccta), 2023 ieee conference on (1)
2023 ieee/acm 18th symposium on software engineering for adaptive and self-managing systems (seams), software engineering for adaptive and self-managing systems (seams), 2023 ieee/acm 18th symposium on, seams (1)
2023 ieee/acm 45th international conference on software engineering (icse), software engineering (icse), 2023 ieee/acm 45th international conference on, icse (1)
computer aided verification. part i (1)