Simple linear-time algorithms for minimal fixed points

DOI10.1007/bfb0055040zbMath1527.68132MaRDI QIDQ6084567

Scott A. Smolka, Xin Xin Liu

Publication date: 2 December 2023

Published in: Automata, Languages and Programming (Search for Journal in Brave)

zbMATH Keywords

model checkingdependency graphs

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (4)

Synthesis for Multi-weighted Games with Branching-Time Winning Conditions ⋮ On-the-Fly Synthesis for Strictly Alternating Games ⋮ Convex lattice equation systems ⋮ On the complexity of strongly connected components in directed hypergraphs

This page was built for publication: Simple linear-time algorithms for minimal fixed points