Jonatan Kilhamn

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 2

Top Topics

Control Algorithm

Fuzzy Controller

Inverted Pendulum

Grey Prediction

Top Venues

Haifa Verification Conference

Publications

Koen Claessen, Jonatan Kilhamn, Laura Kovács, Bengt Lennartson
A Supervisory Control Algorithm Based on Property-Directed Reachability. CoRR (2017)
Koen Claessen, Jonatan Kilhamn, Laura Kovács, Bengt Lennartson
A Supervisory Control Algorithm Based on Property-Directed Reachability. Haifa Verification Conference (2017)