Markus's user avatar
Markus's user avatar
Markus's user avatar
Markus
  • Member for 10 years, 8 months
  • Last seen more than 1 year ago
13 votes

Are there decidable problems for which for no algorithm we can give time bounds?

4 votes

Alternating automata

2 votes

Behaviour of Labelled Markov Processes

1 vote

Existence of equilibria in infinite two players zero sum extensive form games with perfect information

1 vote
Accepted

LTL property - safety or liveness?

1 vote

Are there temporal logics linear time properties that only have counterexamples that are more complex than a lasso?

1 vote

Relation between interval temporal logic and linear temporal logic

1 vote

How to Create Mission Critical Software?

1 vote

Algorithms to synthesize optimal plans satisfying temporal logic constraints

0 votes

References on model checking and pi calculi

0 votes

Deciding functionality of transducers over infinite words