Trustworthy Intelligent Systems

Skip to content
  • Home
  • Members
  • Research
    • Publications
    • Projects
  • Teaching
    • Discrete Mathematics
    • Formal Methods
    • Reinforcement Learning
    • Algorithm Design and Analysis
  • Contact
  • Sino-Europe institute

Paper accepted in TCS

We are proud that our paper about synthesizing ranking functions for loop programs via SVM has been accepted in TCS.

This entry was posted in News, Publication on July 8, 2022 by andrea.

Post navigation

← Depeng Liu passed his PhD thesis defense Paper accepted at SEFM’22 →

Admin area

  • Log in
Proudly powered by WordPress