Searching for authors named Mihalis Yannakakis – sorted by Relevance.
31 documents found, showing 1 through 10.
Next 10 →
-
Yannakakis:1981:CMF
- … Wimmer. On the dimension of biinfinite systems. SIAM Journal on Algebraic and Discrete Methods, 5(1):9--10, March 1984. CODEN SJAMDU. ISSN 0196-5212. Wimmer:1984:DBI [Wim84b] Harald K. Wimmer. On the dimension of bi-infinite systems. SIAM Journal on Algebraic and Discrete Methods, 5(1):9--10, 19…
- Add To MetaCart
-
A Note on Broadcast Encryption Key Management with Applications to Large Scale Emergency Alert Systems
- …Emergency alerting capability is crucial for the prompt response to natural disasters and terrorist attacks. The emerging network infrastructure and secure broadcast techniques enable prompt and secure delivery of emergency notification messages. With the ubiquitous deployment of alert systems, scal…
- Add To MetaCart
-
Efficient qualitative analysis of classes of recursive markov decision processes and simple stochastic games
- …Abstract. Recursive Markov Decision Processes (RMDPs) and Recursive Simple Stochastic Games (RSSGs) are natural models for recursive systems involving both probabilistic and non-probabilistic actions. As shown recently [10], fundamental problems about such models, e.g., termination, are undecidable …
- Cited by 4 (3 self) – Add To MetaCart
-
Efficiently Computing Succinct Trade-off Curves
- …Abstract. Trade-off (aka Pareto) curves are typically used to represent the trade-off among different objectives in multiobjective optimization problems. Although trade-off curves are exponentially large for typical combinatorial optimization problems (and infinite for continuous problems), it was o…
- Cited by 4 (0 self) – Add To MetaCart
-
Algorithmic verification of recursive probabilistic state machines
- …Abstract. Recursive Markov Chains (RMCs) ([EY04]) are a natural abstract model of procedural probabilistic programs and related systems involving recursion and probability. They succinctly define a class of denumerable Markov chains that generalize multi-type branching (stochastic) processes. In thi…
- Cited by 18 (5 self) – Add To MetaCart
-
Recursive Markov decision processes and recursive stochastic games
- …Abstract. We introduce Recursive Markov Decision Processes (RMDPs) and Recursive Simple Stochastic Games (RSSGs), and study the decidability and complexity of algorithms for their analysis and verification. These models extend Recursive Markov Chains (RMCs), introduced in [EY05a,EY05b] as a natural …
- Cited by 18 (5 self) – Add To MetaCart
-
Model checking of message sequence charts
- …Abstract. Scenario-based speci cations such as message sequence charts (MSC) o er an intuitive and visual way of describing design requirements. Such speci cations focus on message exchanges among communicating entities in distributed software systems. Structured speci cations such as MSC-graphs and…
- Cited by 101 (6 self) – Add To MetaCart
-
Model Checking of Hierarchical State Machines
- …Model checking is emerging as a practical tool for detecting logical errors in early stages of system design. We investigate the model checking of hierarchical (nested) systems, i.e. finite state machines whose states themselves can be other machines. This nesting ability is common in various softwa…
- Cited by 54 (8 self) – Add To MetaCart
-
On the complexity of Nash equilibria and other fixed points (Extended Abstract)
- …We reexamine what it means to compute Nash equilibria and, more generally, what it means to compute a fixed point of a given Brouwer function, and we investigate the complexity of the associated problems. Specifically, we study the complexity of the following problem: given a finite game, Γ, with 3 …
- Cited by 7 (2 self) – Add To MetaCart
-
Principles And Methods Of Testing Finite State Machines - A Survey
- …With advanced computer technology, systems are getting larger to fulfill more complicated tasks, however, they are also becoming less reliable. Consequently, testing is an indispensable part of system design and implementation; yet it has proved to be a formidable task for complex systems. This moti…
- Cited by 159 (10 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
