“Sometimes” and “not never” revisited: on branching versus linear time temporal logic
Journal of the ACM (JACM) - The MIT Press scientific computation series
On observability of discrete-event systems
Information Sciences: an International Journal - Robotics and Automation/Control Series
An automata theoretic decision procedure for the propositional mu-calculus
Information and Computation
Tree automata, Mu-Calculus and determinacy
SFCS '91 Proceedings of the 32nd annual symposium on Foundations of computer science
Supervision of Infinite Behavior of Discrete-Event Systems
SIAM Journal on Control and Optimization
An automata-theoretic approach to branching-time model checking
Journal of the ACM (JACM)
Games for synthesis of controllers with partial observation
Theoretical Computer Science - Logic and complexity in computer science
Introduction to Discrete Event Systems
Introduction to Discrete Event Systems
CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
Logic and games on automatic structures: playing with quantifiers and decompositions
Logic and games on automatic structures: playing with quantifiers and decompositions
| Hi-index | 0.89 |