Pareto-rational verification

DOI10.4230/LIPICS.CONCUR.2022.33MaRDI QIDQ6587141zbMATH OpenFDO

Authors Véronique Bruyère, Jean-François Raskin, Clément Tamines

Publication date 13 August 2024

zbMATH Keywords

Pareto-optimalitymodel-checkingrational verification\(\omega\)-regular objectives

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited in

(1)

• Quantitative reachability Stackelberg-Pareto synthesis is \textsf{NEXPTIME}-complete

This page was built for publication: Pareto-rational verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6587141)