LICS’20 Recorded Presentation

Publication and Supplemental Material

• Salomon Sickert, Javier Esparza
  An Efficient Normalisation Procedure for Linear Temporal Logic and Very Weak Alternating Automata
  LICS (2020): bibtex / view / full version / λ formalisation / Java implementation / recording / online demo

Troubleshooting

Problem: The video playback does not start.

Solution: Make sure that third-party cookies are allowed and Javascript is enabled. Alternatively, if you do not wish to enable these features, you can download the video using the link in the right-upper corner and watch the recording locally.

Problem: After pressing the play button the browser reports: “This video format is not supported”.

Solution: Try one of the following options:

1. (Only applicable to Linux) Install the missing codec (H.246) using your package manager.
2. Install Google Chrome which bundles the required codec.
3. Download the video using the link in the right-upper corner and watch the recording locally.