Nilsson, Petter
- Multirobot Coordination with Counting Temporal Logics
2018/10/31 by Sahin, Yunus Emre, Nilsson, Petter, Ozay, Necmiye · 2 citations
#FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Formal Languages and Automata Theory (cs.FL) #Optimization and Control (math.OC) #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Control Synthesis for Permutation-Symmetric High-Dimensional Systems With Counting Constraints
2017/06/23 by Nilsson, Petter, Ozay, Necmiye · 1 citation
#FOS: Electrical engineering #FOS: Mathematics #Optimization and Control (math.OC) #Systems and Control (eess.SY) #electronic engineering #information engineering