Theoretical Computer Science
Markus's user avatar
Markus's user avatar
Markus's user avatar
Markus
  • Member for 11 years, 10 months
  • Last seen more than 2 years ago
Profile Activity
Stats
366
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 %
8
Score
5
Posts
45
Posts %
5
Score
3
Posts
27
Posts %
3
Score
3
Posts
27
Posts %
3
Score
3
Posts
27
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
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
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
Are there temporal logics linear time properties that only have counterexamples that are more complex than a lasso?
Jul 31, 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

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.