Quantified Mu-Calculus for Control Synthesis
Work
Year: 2003
Type: book-chapter
Authors Stéphane Riedweg, Sophie Pinchinat
Institutions Institut national de recherche en informatique et en automatique, Institut de Recherche en Informatique et Systèmes Aléatoires
Cites: 21
Cited by: 44
Related to: 10
FWCI: 4.547
Citation percentile (by year/subfield): 90.64
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: green