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 CAV’22

We our proud about our paper proposing a divide-and-conquer determinization algorithm for Büchi automata based on SCC decomposition has been accepted at CAV’22.

This entry was posted in News, Publication on May 1, 2022 by andrea.

Post navigation

← Paper accepted in JCST Paper accepted at ISSAC’22 →

Admin area

  • Log in
Proudly powered by WordPress