Browse Research and Tech Reports - Computer Science by Subject "reachability logic"

  • Rosu, Grigore (2016-02-20)
    Here is a list of open problems and challenges that I (Grigore Rosu) am interested in solving, in no particular order. While we are doing our best to keep this list actual, it may well be the case that some of the ...

    application/pdf

    application/pdfPDF (1MB)
  • Rosu, Grigore (2017-03-27)
    Here is a 2017 update of the list of open problems and challenges that I (Grigore Rosu) am interested in solving, in no particular order. While we are doing our best to keep this list actual, it may well be the case that ...

    application/pdf

    application/pdfPDF (810kB)