×

Found 7 Documents (Results 1–7)

Newest Citations Relevance
Alur, Rajeev; Bastani, Osbert; Jothimurugan, Kishor; Perez, Mateo; Somenzi, Fabio; Trivedi, Ashutosh

Policy synthesis and reinforcement learning for discounted LTL. (English) Zbl 07798074

Enea, Constantin (ed.) et al., Computer aided verification. 35th international conference, CAV 2023, Paris, France, July 17–22, 2023. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13964, 415-435 (2023).
MSC:  68Q60 03B44 68T05 90C40
Cite Review PDF
Full Text: DOI arXiv
OA License
Prakash, Aditya; Thejaswini, K. S.

On history-deterministic one-counter nets. (English) Zbl 07770339

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 218-239 (2023).
MSC:  68Nxx 68Qxx
Cite Review PDF
Full Text: DOI arXiv
OA License
Hahn, Ernst Moritz; Perez, Mateo; Schewe, Sven; Somenzi, Fabio; Trivedi, Ashutosh; Wojtczak, Dominik

Alternating good-for-MDPs automata. (English) Zbl 1522.68270

Bouajjani, Ahmed (ed.) et al., Automated technology for verification and analysis. 20th international symposium, ATVA 2022, virtual event, October 25–28, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13505, 303-319 (2022).
MSC:  68Q45 68Q60 90C40
Cite Review PDF
Full Text: DOI arXiv Link
Hahn, Ernst Moritz; Perez, Mateo; Schewe, Sven; Somenzi, Fabio; Trivedi, Ashutosh; Wojtczak, Dominik

An impossibility result in automata-theoretic reinforcement learning. (English) Zbl 1522.68269

Bouajjani, Ahmed (ed.) et al., Automated technology for verification and analysis. 20th international symposium, ATVA 2022, virtual event, October 25–28, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13505, 42-57 (2022).
MSC:  68Q45 68Q32 68T05 68Q60 93C30
Cite Review PDF
Full Text: DOI Link
Hahn, Ernst Moritz; Perez, Mateo; Schewe, Sven; Somenzi, Fabio; Trivedi, Ashutosh; Wojtczak, Dominik

Model-free reinforcement learning for stochastic parity games. (English) Zbl 07559477

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 21, 16 p. (2020).
MSC:  68Q85
Cite Review PDF
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

Year of Publication

all top 3

Main Field

all top 3

Software