Ivrii, Alexander

Network Lab View Statistics Email Alert RSS Feed

Name Card

Full name Familienname, Vorname
Ivrii, Alexander
 
Main Affiliation Organisations­zuordnung
 

Contributing Publications Mitbeteiligte Publikationen

Filter:
Author:  Reynolds, Andrew
Author:  Arif, M. Fareed

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
116_SYSLITE Syntax-Guided Synthesis of PLTL Formulas from Finite Traces.pdf.jpgArif, M. Fareed ; Larraz, Daniel ; Echeverria, Mitziu ; Reynolds, Andrew ; Chowdhury, Omar ; Tinelli, Cesare SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite TracesInproceedings Konferenzbeitrag 2020