3
Publications
67
Citations
3
H-Index
2013
Active since
Affiliations
Jan Otop is an author at Institute of Science and Technology Austria specializing in computer science, engineering, and automated reasoning.
Top concepts
EngineeringComputer ScienceVerificationFormal MethodsAutomated ReasoningFormal VerificationSystems EngineeringFormal SpecificationComputational ComplexityBusiness
Publications per year
2013–2015
3
3
The Target Discounted-Sum Problem
Udi Boker, Thomas A. Henzinger, Jan Otop · 2015 · 27 citations · Full text
Mathematical Programming, Computational Complexity Theory, Engineering +21
Distributed synthesis for LTL fragments
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop et al. · 2013 · 24 citations
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop · 2015 · 16 citations
Rows per page
1–3 of 3