Online control synthesis for uncertain systems under signal temporal logic specifications

Eitemau Tebyg

• Reactive Planner Synthesis Under Temporal Logic Specifications
  gan: Hyeonkyu Seong, et al.
  Cyhoeddwyd: (2024-01-01)
• Reactive and human-in-the-loop planning and control of multi-robot systems under LTL specifications in dynamic environments
  gan: Yu, P, et al.
  Cyhoeddwyd: (2023)
• A Truly Robust Signal Temporal Logic: Monitoring Safety Properties of Interacting Cyber-Physical Systems under Uncertain Observation
  gan: Bernd Finkbeiner, et al.
  Cyhoeddwyd: (2022-04-01)
• Reactive Task and Motion Planning under Temporal Logic Specifications
  gan: Li, Shen, et al.
  Cyhoeddwyd: (2022)
• Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications
  gan: Vasile, Cristian-Ioan, et al.
  Cyhoeddwyd: (2018)