Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1911.11870
Cited By
v1
v2
v3 (latest)
Hyperproperties for Robotics: Planning via HyperLTL
26 November 2019
Yu Wang
S. Nalluri
Miroslav Pajic
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Hyperproperties for Robotics: Planning via HyperLTL"
1 / 1 papers shown
Title
STyLuS*: A Temporal Logic Optimal Control Synthesis Algorithm for Large-Scale Multi-Robot Systems
Y. Kantaros
Michael M. Zavlanos
75
115
0
21 Sep 2018
1
