Georgios Kourtis, Clare Dixon, Michael Fisher 0001, Alexei P. Lisitsa. Parameterized verification of leader/follower systems via first-order temporal logic. Formal Methods in System Design, 58(3):440-468, 2021. [doi]
@article{KourtisDFL21, title = {Parameterized verification of leader/follower systems via first-order temporal logic}, author = {Georgios Kourtis and Clare Dixon and Michael Fisher 0001 and Alexei P. Lisitsa}, year = {2021}, doi = {10.1007/s10703-022-00390-y}, url = {https://doi.org/10.1007/s10703-022-00390-y}, researchr = {https://researchr.org/publication/KourtisDFL21}, cites = {0}, citedby = {0}, journal = {Formal Methods in System Design}, volume = {58}, number = {3}, pages = {440-468}, }