Skip To Main Content
Munyque Mittelmann on Muck Rack

Munyque Mittelmann

As seen in: arXiv
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

Get in touch with Munyque

Contact Munyque, search articles and posts on X, monitor coverage, and track replies from one place.

Learn more about Muck Rack

Actions

Share this page

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

[2602.13405] Verification of Robust Multi-Agent Systems

|
By Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano
| arXiv
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.
Open in Who Shared View Duplicates (668) Issue with article?

[2505.10700] Inquisitive Team Semantics of LTL

|
By Tadeusz Litak, Munyque Mittelmann, Aniello Murano
| arXiv
Work on one of the world's most important websites and make an impact on open science.
Open in Who Shared View Duplicates (700) Issue with article?

[2502.12286] Rational Capability in Concurrent Games

|
By Emiliano Lorini, Munyque Mittelmann
| arXiv
arXiv:2502.12286 (cs) View PDF HTML (experimental) Comments: Subjects: Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA) Cite as: arXiv:2502.12286 [cs.LO] (or arXiv:2502.12286v1 [cs.LO] for this version) https://doi.org/10.48550/arXiv.2502.12286 Submission history From: Munyque Mittelmann [ view email] [v1] Mon, 17 Feb 2025 19:47:36 UTC (95 KB) Bibliographic Tools Bibliographic Explorer Toggle Bibliographic Explorer () Connected Papers Toggle Connected Papers (What is Connected...
Open in Who Shared View Duplicates (189) Issue with article?
See all 4 articles