3 papers
cs.LO2019
Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free
Daniel Neider, Alexander Weinert, Martin Zimmermann
Linear Temporal Logic (LTL) is the standard specification language for reactive systems and is successfully applied in industrial settings. However, many shortcomings of LTL have b…
cs.SE2019
RCE: An Integration Environment for Engineering and Science
Brigitte Boden, Jan Flink, Niklas Först +5
We present RCE (Remote Component Environment), an open-source framework developed primarily at DLR (German Aerospace Center) that enables its users to construct and execute multidi…
cs.LO2017
VLDL Satisfiability and Model Checking via Tree Automata
Alexander Weinert
We present novel algorithms solving the satisfiability problem and the model checking problem for Visibly Linear Dynamic Logic (VLDL) in asymptotically optimal time via a reduction…