Concepedia

Robert S. Streett

RS

Statistics

Publications

3

Citations

581

H-Index

3

Active since

1981

Affiliations

Boston University(Current)

Robert S. Streett is an author at Boston University specializing in formal methods, automated reasoning, and formal verification.

Top concepts

Publications per year

1981–1989

3

Publications

3

An automata theoretic decision procedure for the propositional mu-calculus

Robert S. Streett, E. Allen Emerson · Information and Computation · 1989 · 218 citations

, , +6

Propositional dynamic logic of looping and converse is elementarily decidable

Robert S. Streett · Information and Control · 1982 · 211 citations

, , +9

Propositional Dynamic Logic of looping and converse

Robert S. Streett · 1981 · 152 citations

, , +11

1–3 of 3