Publications
2024
Bounded-Memory Strategies in Partial-Information Games
Bose, S., Ibsen-Jensen, R., & Totzke, P. (2024). Bounded-Memory Strategies in Partial-Information Games. In Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 1-14). ACM. doi:10.1145/3661814.3662096
Parity Games on Temporal Graphs
Austin, P., Bose, S., & Totzke, P. (2024). Parity Games on Temporal Graphs. In Lecture Notes in Computer Science (pp. 79-98). Springer Nature Switzerland. doi:10.1007/978-3-031-57228-9_5
2023
History-Deterministic Vector Addition Systems
Bose, S., Purser, D., & Totzke, P. (2023). History-Deterministic Vector Addition Systems. In Leibniz International Proceedings in Informatics, LIPIcs Vol. 279. doi:10.4230/LIPIcs.CONCUR.2023.18
2022
History-Deterministic Timed Automata Are Not Determinizable
Bose, S., Henzinger, T. A., Lehtinen, K., Schewe, S., & Totzke, P. (2022). History-Deterministic Timed Automata Are Not Determinizable. In Unknown Conference (pp. 67-76). Springer International Publishing. doi:10.1007/978-3-031-19135-0_5
2021
One-way resynchronizability of word transducers
One-way Resynchronizability of Word Transducers
Bose, S., Krishna, S. N., Muscholl, A., & Puppis, G. (2021). One-way Resynchronizability of Word Transducers. In Lecture Notes in Computer Science (pp. 124-143). Springer International Publishing. doi:10.1007/978-3-030-71995-1_7