Fair simulation minimization

DOI10.1007/3-540-45657-0_51MaRDI QIDQ4804928zbMATH OpenFDO

Authors Sankar Gurumurthy, Roderick Bloem, Fabio Somenzi

Publication date 1 May 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2404/24040610.htm

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Fair simulation
• Fair simulation
• Optimal fair computation
• scientific article; zbMATH DE number 2080063
• Applicability of fair simulation
• Achieving optimal fairness from biased coinflips
• Bridging the gap between fair simulation and trace inclusion
• scientific article; zbMATH DE number 1293331
• Proportional optimization and fairness
• Computing fair and efficient allocations with few utility values

Cited in

(12)

• Applicability of fair simulation
• Bridging the gap between fair simulation and trace inclusion
• Büchi automata can have smaller quotients
• Efficient State Space Reduction for Automata by Fair Simulation
• scientific article; zbMATH DE number 2080063 (Why is no real title available?)
• Fair simulation relations, parity games, and state space reduction for Büchi automata
• Efficient reduction of nondeterministic automata with application to language inclusion testing
• Good-for-MDPs automata for probabilistic analysis and reinforcement learning
• Minimizing GFG Transition-Based Automata
• Fair simulation for nondeterministic and probabilistic Büchi automata: a coalgebraic perspective
• Simulation relations and applications in formal methods
• Simulations in rank-based Büchi automata complementation

This page was built for publication: Fair simulation minimization

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