Jonatan Kilhamn

Doktorand at Chalmers, Computer Science and Engineering (Chalmers), Formal methods

Showing 1 publications


A supervisory control algorithm based on property-directed reachability

Koen Lindström Claessen, Jonatan Kilhamn, Laura Kovacs et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 10629 LNCS, p. 115-130
Paper in proceedings

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:

There are no projects.
There might be more projects where Jonatan Kilhamn participates, but you have to be logged in as a Chalmers employee to see them.