The following pages link to Corto N. Mascle (Q4992843):
Displaying 9 items.
- On Nonnegative Integer Matrices and Short Killing Words (Q4992844) (← links)
- On finite monoids over nonnegative integer matrices and short killing words (Q5090493) (← links)
- From LTL to rLTL monitoring (Q5146368) (← links)
- The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas (Q5874216) (← links)
- From LTL to rLTL monitoring: improved monitorability through robust semantics (Q6108436) (← links)
- (Q6168467) (← links)
- Distributed controller synthesis for deadlock avoidance (Q6560927) (← links)
- Parameterized broadcast networks with registers: from NP to the frontiers of decidability (Q6629529) (← links)
- Optimally Controlling a Random Population (Q6754704) (← links)
