Corto N. Mascle

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
On the minimisation of deterministic and history-deterministic generalised (co)Büchi automata	2026-06-09	Paper
The complexity of simplifying -automata through the alternating cycle decomposition	2026-05-12	Paper
Verification of population protocols with unordered data	2026-01-14	Paper
Distributed controller synthesis for deadlock avoidance Logical Methods in Computer Science	2025-09-25	Paper
Model-checking parametric lock-sharing systems against regular constraints	2025-06-26	Paper
Parameterized broadcast networks with registers: from NP to the frontiers of decidability	2024-10-30	Paper
Distributed controller synthesis for deadlock avoidance	2024-06-24	Paper
scientific article; zbMATH DE number 7724222 (Why is no real title available?) (available as arXiv preprint)	2023-08-08	Paper
From LTL to rLTL monitoring: improved monitorability through robust semantics Formal Methods in System Design	2023-06-29	Paper
The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas (available as arXiv preprint)	2023-02-07	Paper
On finite monoids over nonnegative integer matrices and short killing words	2022-07-18	Paper
On Nonnegative Integer Matrices and Short Killing Words SIAM Journal on Discrete Mathematics	2021-06-10	Paper
From LTL to rLTL monitoring Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control	2021-01-25	Paper

Research outcomes over time

This page was built for person: Corto N. Mascle