Performance heuristics for GR(1) synthesis and related algorithms

Reactive synthesis for the GR(1) fragment of LTL has been implemented and studied in many works. In this work we present and evaluate a list of heuristics to potentially reduce running times for GR(1) synthesis and related algorithms. The list includes several heuristics for controlled predecessor c...

Descripción completa

Detalles Bibliográficos
Autores principales: Firman, Elizabeth, Maoz, Shahar, Ringert, Jan Oliver
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Springer Berlin Heidelberg 2019
Materias:
Original Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7056736/
https://www.ncbi.nlm.nih.gov/pubmed/32189716
http://dx.doi.org/10.1007/s00236-019-00351-9

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7056736/
https://www.ncbi.nlm.nih.gov/pubmed/32189716
http://dx.doi.org/10.1007/s00236-019-00351-9

Ejemplares similares