by Bahavarnia, MirSaleh, Shoukry, Yasser, Martins, Nuno C.
Published in Proceedings of the American Control Conference (01.07.2020)

by Marcozzi, Michaël, Vanhoof, Wim, Hainaut, Jean-Luc
Published in Science of computer programming (01.07.2015)

by Eldib, Hassan, Wang, Chao, Schaumont, Patrick
Published in ACM transactions on software engineering and methodology (01.12.2014)

by Guidotti, Dario, Leofante, Francesco, Tacchella, Armando, Castellini, Claudio
Published in IEEE transactions on neural systems and rehabilitation engineering (01.04.2019)

by Cimatti, Alessandro, Micheli, Andrea, Roveri, Marco
Published in Artificial intelligence (01.07.2015)

by Rohaninejad, Mohammad, Janota, Mikoláš, Hanzálek, Zdeněk
Published in Engineering applications of artificial intelligence (01.02.2023)

by Jeon, Joong-Won, Kahng, Andrew B., Kang, Jae-Hyun, Kim, Jaehwan, Woo, Mingyu
Published in Proceedings / IEEE International Symposium on Quality Electronic Design (03.04.2024)

by Schwartz-Narbonne, Daniel, Schäf, Martin, Jovanović, Dejan, Rümmer, Philipp, Wies, Thomas
Published in NASA Formal Methods (2015)

by Judson, Samuel, Elacqua, Matthew, Cano, Filip, Antonopoulos, Timos, Könighofer, Bettina, Shapiro, Scott J, Piskac, Ruzica
Year of Publication 09.05.2023

by Judson, Samuel, Elacqua, Matthew, Cano, Filip, Antonopoulos, Timos, Könighofer, Bettina, Shapiro, Scott J, Piskac, Ruzica
Published in arXiv.org (29.01.2024)

by Chen, Fuxiang, Gunawan, Aldy, Lo, David, Kim, Sunghun
Published in IEEE International Conference on Automation Science and Engineering (CASE) (01.08.2019)

by Marques-Silva, Joao, Malik, Sharad
Published in Handbook of Model Checking (2018)

by Vazquez-Chanlatte, Marcell, Ghosh, Shromona, Raman, Vasumathi, Sangiovanni-Vincentelli, Alberto, Seshia, Sanjit A
Year of Publication 11.07.2017

by Pavlinovic, Zvonimir, King, Tim, Wies, Thomas
Year of Publication 27.08.2015

by Vazquez-Chanlatte, Marcell, Ghosh, Shromona, Raman, Vasumathi, Sangiovanni-Vincentelli, Alberto, Seshia, Sanjit A
Published in arXiv.org (12.07.2017)

by Pavlinovic, Zvonimir, King, Tim, Wies, Thomas
Published in arXiv.org (27.08.2015)

by Ma, Feifei, Yan, Jun, Zhang, Jian
Published in Frontiers in Algorithmics and Algorithmic Aspects in Information and Management (2012)

by Cordeiro, Lucas, Fischer, Bernd
Year of Publication 19.03.2010

by 金继伟, 马菲菲, 张健
Published in 计算机科学与探索 (2015)

by GHOSH, DEVLEENA, MANDAL, CHITTARANJAN
Published in Journal of computational biology (01.04.2025)