Theoretical Computer Science
Meta user
Network profile
366
reputation
1
6

Markus

Apparently, this user prefers to keep an air of mystery about them.

11
answers
0
questions
~4k
people reached
  • Member for 7 years, 6 months
  • 58 profile views
  • Last seen Jun 10 at 19:05

Communities (10)

Top network posts

We respect a laser-like focus on one topic.

Top tags (20)

Score 13
Posts 1
Posts % 9
Score 13
Posts 1
Score 8
Posts 5
Score 5
Posts 3
Score 3
Posts 3
Score 3
Posts 3
View all tags →

Top posts (11) All Questions Answers | Votes Newest

13 Are there decidable problems for which for no algorithm we can give time bounds? Feb 12 '12
4 Alternating automata Jan 16 '13
2 Behaviour of Labelled Markov Processes Mar 26 '13
1 Existence of equilibria in infinite two players zero sum extensive form games with perfect information Sep 17 '13
1 LTL property - safety or liveness? Feb 7 '15
1 Are there temporal logics linear time properties that only have counterexamples that are more complex than a lasso? Jul 31 '15
1 Relation between interval temporal logic and linear temporal logic Feb 15 '13
1 How to Create Mission Critical Software? Sep 19 '12
1 Algorithms to synthesize optimal plans satisfying temporal logic constraints Apr 25 '17
0 References on model checking and pi calculi Dec 24 '12
View all questions and answers →

Badges (7)

Gold

—

Silver

1

Rarest

Bronze

6

Rarest