Petter Nilsson

Identifiers

• name variant Petter Nilsson 0.60 · backfill

Papers (5)

1. Multirobot Coordination with Counting Temporal Logics cs.RO · 2018 · author #2
2. Using control synthesis to generate corner cases: A case study on autonomous driving cs.SY · 2018 · author #5
3. Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings cs.SY · 2018 · author #2
4. Control Synthesis for Permutation-Symmetric High-Dimensional Systems With Counting Constraints cs.SY · 2017 · author #1
5. Synthesis of separable controlled invariant sets for modular local control design cs.SY · 2015 · author #1

Mentions

• 1810.13087 #2 · arxiv_oai · confidence 0.70 Petter Nilsson
• 1807.09537 #5 · arxiv_oai · confidence 0.70 Petter Nilsson
• 1804.04280 #2 · arxiv_oai · confidence 0.70 Petter Nilsson
• 1706.07863 #1 · arxiv_oai · confidence 0.70 Petter Nilsson
• 1510.02990 #1 · arxiv_oai · confidence 0.70 Petter Nilsson

Frequent Coauthors

• Necmiye Ozay 5 shared papers
• Glen Chou 1 shared papers
• Kwesi J. Rutledge 1 shared papers
• Liren Yang 1 shared papers
• Oscar Lindvall Bulancea 1 shared papers
• Yunus Emre Sahin 1 shared papers
• Yunus E. Sahin 1 shared papers