Statistics
Publications
1
Citations
24
H-Index
1
Active since
2019
Affiliations
Saarland University(Current)
Philip Lukert is an author at Saarland University specializing in linear-time temporal logic, real-time systems design, and computer engineering.
Publications per year
2019–2019
1
1
Synthesis from hyperproperties
Bernd Finkbeiner, Christopher Hahn, Philip Lukert et al. · Acta Informatica · 2019 · 24 citations · Full text
1–1 of 1