VOLUME 29 2024 NUMBERS 2–4
The Complexity of Traversing Automata with Current State Uncertainty Under LTLf Constraints
Andrew Ryzhikov , Petra Wolf 
Pages 295–320



Download Abstract
 Fulltext is accessible with your personal account
 ShowHide BibTeX
BibTeX: 
@article{JALC-2024-295,
  author  = {Andrew Ryzhikov and Petra Wolf},
  title   = {The Complexity of Traversing Automata with Current State Uncertainty Under LTL$_f$ Constraints},
  journal = {Journal of Automata, Languages and Combinatorics},
  volume  = {29},
  number  = {2--4},
  pages   = {295--320},
  year    = {2024},
  url     = {https://doi.org/10.25596/jalc-2024-295},
  doi     = {10.25596/jalc-2024-295}
}
If you would like to see an embedded preview, try to select preview as the action for Portable Document Format (PDF) in your brower settings.
Keywords: linear temporal logic, LTL on finite traces, synchronizing automata
DOI: 10.25596/jalc-2024-295