Skip to main content
Theoretical Computer Science
Markus's user avatar
Markus's user avatar
Markus's user avatar
Markus
  • Member for 12 years, 11 months
  • Last seen more than 3 years ago
Profile Activity
Stats
376
reputation
7k
reached
11
answers
0
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
6
bronze badges
Top tags
View all tags
13
Score
1
Posts
9
Posts %
13
Score
1
Posts
9
Posts %
9
Score
5
Posts
45
Posts %
5
Score
3
Posts
27
Posts %
4
Score
3
Posts
27
Posts %
4
Score
3
Posts
27
Posts %
Top posts
View all questions and answers
answer
13
Are there decidable problems for which for no algorithm we can give time bounds?
Feb 12, 2012
answer
4
Alternating automata
Jan 16, 2013
answer
2
Behaviour of Labelled Markov Processes
Mar 26, 2013
answer
2
Are there temporal logics linear time properties that only have counterexamples that are more complex than a lasso?
Jul 31, 2015
answer
1
Existence of equilibria in infinite two players zero sum extensive form games with perfect information
Sep 17, 2013
answer
1
LTL property - safety or liveness?
Feb 7, 2015
answer
1
Relation between interval temporal logic and linear temporal logic
Feb 15, 2013
answer
1
How to Create Mission Critical Software?
Sep 19, 2012
answer
1
Algorithms to synthesize optimal plans satisfying temporal logic constraints
Apr 25, 2017
answer
0
References on model checking and pi calculi
Dec 24, 2012