Learning, Approximating and Minimising Streaming Automata for Large-scale Optimisation

Daviaud, Laure (Principal Investigator)

Status	Finished
Effective start/end date	1/06/23 → 31/08/24

Funding

Engineering and Physical Sciences Research Council: £31,888.80

2 Article

Feasability of learning weighted automata on a semiring
Daviaud, L. & Johnson, M., 7 Aug 2025, In: Logical Methods in Computer Science. 21, 3
Research output: Contribution to journal › Article › peer-review

Open Access
File

13 Downloads (Pure)
The big-O problem for max-plus automata is decidable (PSPACE-Complete)
Daviaud, L., Purser, D. & Tcheng, M., 15 Jul 2025, In: Logical Methods in Computer Science. 21, 3, p. 3:1–3-3:35 33 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File