Is this you? As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work.
Claim your profile
Articles by Igor Walukiewicz
[2506.14544] Infinite lexicographic products of positional objectives
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website. Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them. Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Minimal History-Deterministic Co-Buchi Automata: Congruences and Passive Learning
Work on one of the world's most important websites and make an impact on open science.
[2204.12409] Distributed controller synthesis for deadlock avoidance
arXiv:2204.12409 (cs) [Submitted on 26 Apr 2022 (v1), last revised 1 Nov 2024 (this version, v4)] View PDF Comments: Subjects: Logic in Computer Science (cs.LO) Cite as: arXiv:2204.12409 [cs.LO] (or arXiv:2204.12409v4 [cs.LO] for this version) https://doi.org/10.48550/arXiv.2204.12409 Submission history From: Anca Muscholl [ view email] [v1] Tue, 26 Apr 2022 16:07:56 UTC (92 KB) [v2] Mon, 16 Jan 2023 09:40:13 UTC (732 KB) [v3] Mon, 13 Feb 2023 11:13:37 UTC (756 KB) [v4] Fri, 1 Nov 2024...
Show More
loading
Actions
Is this you?
As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work.Get in touch with Igor
Contact Igor, search articles and posts on X, monitor coverage, and track replies from one place.
Learn more about Muck Rack