Schwenger, Maximilian

1. Real-time Stream-based Monitoring
   2017/11/10 by Faymonville, Peter, Finkbeiner, Bernd, Schwenger, Maximilian +1 · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
2. From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics
   2018/07/21 by Mascle, Corto, Neider, Daniel, Schwenger, Maximilian +3 · 1 citation
   #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)
3. RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft
   2020/03/27 by Baumeister, Jan, Finkbeiner, Bernd, Schirmer, Sebastian +2 · 2 citations
   #68V06 #B.7.1 #F.4.3 #FOS: Computer and information sciences #FOS: Electrical engineering #Robotics (cs.RO) #Signal Processing (eess.SP) #Software Engineering (cs.SE) #electronic engineering #information engineering