Research output

  1. Using Sat Solvers for Synchronization Issues in Partial Deterministic Automata

    Shabana, H. & Volkov, M. V., 1 Jan 2019, Mathematical Optimization Theory and Operations Research - 18th International Conference, MOTOR 2019, Revised Selected Papers. Bykadorov, I., Strusevich, V. & Tchemisova, T. (eds.). Springer, p. 103-118 16 p. (Communications in Computer and Information Science; vol. 1090 CCIS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review