2024conference

LB4TL: Smooth Semantics for Temporal Logic for Scalable Training of Neural Feedback Controllers

Navid Hashemi, Sam Williams, Bardh Hoxha, Danil Prokhorov, Georgios Fainekos, Jyotirmoy Deshmukh

The 8th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), July 2024

Topics: Learning-based Control and Analysis

Citation

@inproceedings{ADHS2024,
  title = {LB4TL: Smooth Semantics for Temporal Logic for Scalable Training of Neural Feedback Controllers},
  author = {Navid Hashemi and Sam Williams and Bardh Hoxha and Danil Prokhorov and Georgios Fainekos and Jyotirmoy Deshmukh},
  booktitle = {The 8th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), July 2024},
  year = {2024},
  url = {https://www.bhoxha.com/papers/adhs2024.pdf},
  keywords = {Learning-based Control and Analysis}
}