7 citations · 19 across the 13 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019★ 7 cited
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…