Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
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, 5 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