Sebastian Ordyniak

1PUBLICATIONS
0CO-AUTHORS
Time-series analysis
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Mar 05, 2019
Backdoors for Linear Temporal Logic.

Arne Meier, Sebastian Ordyniak, M S Ramanujan

Pageof 1

Frequent Collaborators