Citation

To cite the use of this package or the papers that are derived from it you can use the below BibTeX entries.

• For differentiable weighted automata in general:

  @inproceedings{balakrishnan2024differentiable,
    title = {Differentiable {{Weighted Automata}}},
    booktitle = {{{ICML}} 2024 {{Workshop}} on {{Differentiable Almost Everything}}: {{Differentiable Relaxations}}, {{Algorithms}}, {{Operators}}, and {{Simulators}}},
    author = {Balakrishnan, Anand and Deshmukh, Jyotirmoy V.},
    year = 2024,
    month = jun,
    url = {https://openreview.net/forum?id=k2hIQYqHTh},
    copyright = {All rights reserved},
    langid = {english}
  }

• For weighted automata in motion planning:

  @inproceedings{balakrishnan2024motion,
    title = {Motion {{Planning}} for {{Automata-based Objectives}} Using {{Efficient Gradient-based Methods}}},
    booktitle = {2024 {{IEEE}}/{{RSJ International Conference}} on {{Intelligent Robots}} and {{Systems}} ({{IROS}})},
    author = {Balakrishnan, Anand and Atasever, Merve and Deshmukh, Jyotirmoy V.},
    year = 2024,
    month = oct,
    pages = {13734--13740},
    issn = {2153-0866},
    doi = {10.1109/IROS58592.2024.10802177}
  }

• For alternating weighted automata in multi-agent systems:

  @inproceedings{balakrishnan2025monitoring,
    title = {Monitoring {{Spatially Distributed Cyber-Physical Systems}} with {{Alternating Finite Automata}}},
    booktitle = {Proceedings of the 28th {{ACM International Conference}} on {{Hybrid Systems}}: {{Computation}} and {{Control}}},
    author = {Balakrishnan, Anand and Paul, Sheryl and Silvetti, Simone and Nenzi, Laura and Deshmukh, Jyotirmoy V.},
    year = 2025,
    month = may,
    pages = {1--11},
    publisher = {ACM},
    address = {Irvine CA USA},
    doi = {10.1145/3716863.3718033},
    isbn = {979-8-4007-1504-4},
    langid = {english}
  }

License

See the LICENSE file for details.