Skip to content

missing ltlsynt reference

Now that a paper exists, it should be mentioned at least in

Edited by Alexandre Duret-Lutz