List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Inquisitive team semantics of LTL | 2026-08-24 | Paper |
| Formal verification and synthesis of mechanisms for social choice Artificial Intelligence | 2025-03-05 | Paper |
| Epistemic reasoning about rationality and bids in auctions | 2021-12-01 | Paper |
| Auction Description Language (ADL): General Framework for Representing Auction-Based Markets | 2021-07-06 | Paper |
| Game Description Logic with Integers: a GDL numerical extension (available as arXiv preprint) | 2020-10-26 | Paper |
Research outcomes over time
This page was built for person: Munyque Mittelmann
