Meyer, Fabian

1. Multi-Robot Task Allocation and Scheduling Considering Cooperative Tasks and Precedence Constraints
   2020/05/08 by Bischoff, Esther, Meyer, Fabian, Inga, Jairo +1 · 2 citations
   #FOS: Computer and information sciences #FOS: Electrical engineering #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
2. Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes
   2020/10/13 by Meyer, Fabian, Hark, Marcel, Giesl, Jürgen · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
3. Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops
   2022/05/18 by Lommen, Nils, Meyer, Fabian, Giesl, Jürgen · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)