LTL to self-loop alternating automata with generic acceptance and back

Document Details

Document Type
Pub Defense Publication
Publication Date
Nov 01, 2020
Source ID
10.1016/j.tcs.2020.07.015

Entities

People

  • František Blahoudek
  • Jan Strejček
  • Juraj Major

Organizations

  • Air Force Research Laboratory
  • Czech Science Foundation