Concepedia

Kilian Schindler

KS

Statistics

Publications

1

Citations

57

H-Index

1

Active since

2018

Affiliations

Imperial College London(Current)

Kilian Schindler is an author at Imperial College London specializing in formal methods, formal verification, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceScenario ReductionAutomated ReasoningFormal VerificationOperations ResearchSystems EngineeringMathematical Programming

Publications per year

2018–2018

1

Publications

1

Scenario reduction revisited: fundamental limits and guarantees

Napat Rujeerapaiboon, Kilian Schindler, Daniel Kühn et al. · Mathematical Programming · 2018 · 57 citations · Full text

Mathematical Programming, Engineering, Constraint Satisfaction +9

1–1 of 1