Search

Your search keyword '"Kuo, Jim"' showing total 50 results
Start Over Author "Kuo, Jim"
50 results on '"Kuo, Jim"'

2. Fatal Attractors in Parity Games: Building Blocks for Partial Solvers

Author

Huth, Michael, Kuo, Jim Huan-Pu, and Piterman, Nir

Subjects
Computer Science - Logic in Computer Science
Abstract

Attractors in parity games are a technical device for solving "alternating" reachability of given node sets. A well known solver of parity games - Zielonka's algorithm - uses such attractor computations recursively. We here propose new forms of attractors that are monotone in that they are aware of specific static patterns of colors encountered in reaching a given node set in alternating fashion. Then we demonstrate how these new forms of attractors can be embedded within greatest fixed-point computations to design solvers of parity games that run in polynomial time but are partial in that they may not decide the winning status of all nodes in the input game. Experimental results show that our partial solvers completely solve benchmarks that were constructed to challenge existing full solvers. Our partial solvers also have encouraging run times in practice. For one partial solver we prove that its run-time is at most cubic in the number of nodes in the parity game, that its output game is independent of the order in which monotone attractors are computed, and that it solves all Buechi games and weak games. We then define and study a transformation that converts partial solvers into more precise partial solvers, and we prove that this transformation is sound under very reasonable conditions on the input partial solvers. Noting that one of our partial solvers meets these conditions, we apply its transformation on 1.6 million randomly generated games and so experimentally validate that the transformation can be very effective in increasing the precision of partial solvers.

Published
2014

3. The Rabin index of parity games

Author

Huth, Michael, Kuo, Jim Huan-Pu, and Piterman, Nir

Subjects
Computer Science - Computer Science and Game Theory, Computer Science - Computational Complexity
Abstract

We study the descriptive complexity of parity games by taking into account the coloring of their game graphs whilst ignoring their ownership structure. Colored game graphs are identified if they determine the same winning regions and strategies, for all ownership structures of nodes. The Rabin index of a parity game is the minimum of the maximal color taken over all equivalent coloring functions. We show that deciding whether the Rabin index is at least k is in PTIME for k=1 but NP-hard for all fixed k > 1. We present an EXPTIME algorithm that computes the Rabin index by simplifying its input coloring function. When replacing simple cycle with cycle detection in that algorithm, its output over-approximates the Rabin index in polynomial time. Experimental results show that this approximation yields good values in practice., Comment: In Proceedings GandALF 2013, arXiv:1307.4162

Published
2013
Full Text
View/download PDF

9. Static Analysis of Parity Games: Alternating Reachability Under Parity

Author

Huth, Michael, Kuo, Jim Huan-Pu, Piterman, Nir, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Probst, Christian W., editor, Hankin, Chris, editor, and Hansen, René Rydhof, editor

Published
2016
Full Text
View/download PDF

10. PEALT: An Automated Reasoning Tool for Numerical Aggregation of Trust Evidence

Author

Huth, Michael, Kuo, Jim Huan-Pu, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ábrahám, Erika, editor, and Havelund, Klaus, editor

Published
2014
Full Text
View/download PDF

11. On Designing Usable Policy Languages for Declarative Trust Aggregation

Author

Huth, Michael, Kuo, Jim Huan-Pu, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Kobsa, Alfred, editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Weikum, Gerhard, editor, Tryfonas, Theo, editor, and Askoxylakis, Ioannis, editor

Published
2014
Full Text
View/download PDF

14. Towards Usable Generation and Enforcement of Trust Evidence from Programmers’ Intent

Author

Huth, Michael, Kuo, Jim Huan-Pu, Sasse, Angela, Kirlappos, Iacovos, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Marinos, Louis, editor, and Askoxylakis, Ioannis, editor

Published
2013
Full Text
View/download PDF

15. Fatal Attractors in Parity Games

Author

Huth, Michael, Kuo, Jim Huan-Pu, Piterman, Nir, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Pfenning, Frank, editor

Published
2013
Full Text
View/download PDF

16. Concurrent Small Progress Measures

Author

Huth, Michael, Kuo, Jim Huan-Pu, Piterman, Nir, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Eder, Kerstin, editor, Lourenço, João, editor, and Shehory, Onn, editor

Published
2012
Full Text
View/download PDF

22. Design, Modeling, Simulation, and Testing of Flexible Joint

Author

Munguia, Maria, additional, Shibata, Gabriella, additional, Castro, Osvaldo, additional, Miesner, Spencer, additional, Asadi, Sufi, additional, De Leon, Anthony, additional, Hernandez, Allan, additional, Molina, Christopher, additional, Bell, Jered, additional, Lytle, Madison, additional, Wolk, Kieran, additional, Roberts, Scott, additional, Furst, Benjamin, additional, Sunada, Eric, additional, Bellardo, John, additional, Daimaru, Takuro, additional, and Kuo, Jim, additional

Published
2021
Full Text
View/download PDF

24. Towards Verifiable Trust Management for Software Execution : (Extended Abstract)

Author

Huth, Michael, Kuo, Jim Huan-Pu, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Huth, Michael, editor, Asokan, N., editor, Čapkun, Srdjan, editor, Flechais, Ivan, editor, and Coles-Kemp, Lizzie, editor

Published
2013
Full Text
View/download PDF

28. The Rabin Index of Parity Games : (Extended Abstract)

Author

Huth, Michael, Kuo, Jim Huan-Pu, Piterman, Nir, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Eder, Kerstin, editor, Lourenço, João, editor, and Shehory, Onn, editor

Published
2012
Full Text
View/download PDF

39. Delay-independent observer-based control for a class of neutral systems

Author

Kuo, Jim-Ming, Lien, Chang-Hua, Fan, Kuo-Kung, and Hsieh, Jer-Guang

Subjects
Control systems -- Research, Liapunov functions -- Technology application, Liapunov functions -- Research, Dynamical systems -- Research, Technology application, Engineering and manufacturing industries, Science and technology
Abstract

In this paper, the observer-based control for a class of neutral systems is considered. The analysis is based on the use of Lyapunov functional stability theory. Delay-independent stabilization criteria are proposed to guarantee stability for the systems via linear control. The linear matrix inequality (lmi) approach is used to design the observe and the feedback control. Our results are a single generalization of a full-order Luenberger observer. A numerical example is given to illustrate the use of our main results. [DOI: 10.1115/1.1852458]

Published
2004

Catalog

Books, media, physical & digital resources
See catalog results