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 at VSTTE’22

We are pleased to announce that our paper about compositional safety LTL synthesis has been accepted at VSTTE’22.

This entry was posted in News, Publication on September 6, 2022 by andrea.

Post navigation

← Paper accepted at SEFM’22 Paper accepted in IPL →

Admin area

  • Log in
Proudly powered by WordPress