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 CONCUR’23

We are happy to announce that our paper about a singly exponential translation of weak alternating Büchi automata to unambiguous Büchi automata has been accepted at CONCUR’23.

This entry was posted in News, Publication on June 28, 2023 by andrea.

Post navigation

← Paper accepted in I&C Three papers accepted at ATVA’23 →

Admin area

  • Log in
Proudly powered by WordPress