Earliest Query Answering for Deterministic Stepwise Hedge Automata

Antonio Al Serhali, Joachim Niehren. Earliest Query Answering for Deterministic Stepwise Hedge Automata. In Benedek Nagy, editor, Implementation and Application of Automata - 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings. Volume 14151 of Lecture Notes in Computer Science, pages 53-65, Springer, 2023. [doi]

Abstract

Abstract is missing.