poster

Poster Abstract: Permissiveness for Strategy Adaptation

Authors:

Ashwani Anand,

Satya Prakash Nayak,

Anne-Kathrin SchmuckAuthors Info & Claims

HSCC '23: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control

Article No.: 29, Pages 1 - 2

https://doi.org/10.1145/3575870.3589555

Published: 09 May 2023 Publication History

Get Access

Abstract

This paper presents a new method to automatically compute permissive strategies and permissive assumptions in ω -regular two-player games on graphs to enable strategy adaptation both during synthesis and execution of distributed symbolic controllers.

References

[1]

Rajeev Alur. 2015. Principles of cyber-physical systems. MIT press.

Google Scholar

[2]

Ashwani Anand, Kaushik Mallik, Satya Prakash Nayak, and Anne-Kathrin Schmuck. 2023. Computing Adequately Permissive Assumptions for Synthesis. https://arxiv.org/abs/2301.07563

Google Scholar

[3]

Ashwani Anand, Satya Prakash Nayak, and Anne-Kathrin Schmuck. 2023. Synthesizing Permissive Winning Strategy Templates for Parity Games. Technical Report. https://www.mpi-sws.org/tr/2023-001.pdf

Google Scholar

[4]

Julien Bernet, David Janin, and Igor Walukiewicz. 2002. Permissive strategies: from parity games to safety games. RAIRO Theor. Informatics Appl. 36, 3 (2002), 261–275.

Crossref

Google Scholar

[5]

Patricia Bouyer, Nicolas Markey, Jörg Olschewski, and Michael Ummels. 2011. Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited. In ATVA 2011(Lecture Notes in Computer Science, Vol. 6996). Springer, 135–149.

Google Scholar

[6]

Krishnendu Chatterjee, Thomas A Henzinger, Barbara Jobstmann, and Arjun Radhakrishna. 2010. Gist: A solver for probabilistic games. In CAV.

Google Scholar

[7]

Krishnendu Chatterjee, Thomas A. Henzinger, and Nir Piterman. 2007. Generalized Parity Games. In FOSSACS 2007.

Google Scholar

[8]

Rômulo Meira-Góes, Eunsuk Kang, Stéphane Lafortune, and Stavros Tripakis. 2022. On synthesizing tolerable and permissive controllers for labeled transition systems. IFAC-PapersOnLine (2022). 16th IFAC Workshop on Discrete Event Systems WODES 2022.

Google Scholar

[9]

Paulo Tabuada. 2009. Verification and Control of Hybrid Systems - A Symbolic Approach. Springer.

Digital Library

Google Scholar

Recommendations

Measuring permissiveness in parity games: mean-payoff parity games revisited
ATVA'11: Proceedings of the 9th international conference on Automated technology for verification and analysis

We study nondeterministic strategies in parity games with the aim of computing a most permissive winning strategy. Following earlier work, we measure permissiveness in terms of the average number/ weight of transitions blocked by a strategy. Using a ...
POSTER: Analyzing Access Control Policies with SMT
CCS '14: Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security

The flexibility and expressiveness of eXtensible Access Control Markup Language (XACML) allows the specification of a wide range of policies in different access control models. However, XACML policies are often verbose and, thus, prone to errors. ...
Poster: collaborative policy administration
CCS '11: Proceedings of the 18th ACM conference on Computer and communications security

Policy driven management is widely used to manage networked resources and protect sensitive resources. Existing policy-driven management strategies rely heavily on policy administrators to specify and validate policies, which not only require in depth ...

Comments

Information & Contributors

Information

Published In

HSCC '23: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control

May 2023

239 pages

ISBN:9798400700330

DOI:10.1145/3575870

Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 09 May 2023

Check for updates

Qualifiers

Poster
Research
Refereed limited

Conference

HSCC '23

Sponsor:

SIGBED

HSCC '23: 26th ACM International Conference on Hybrid Systems: Computation and Control

May 9 - 12, 2023

TX, San Antonio, USA

Acceptance Rates

Overall Acceptance Rate 153 of 373 submissions, 41%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

0
Total Citations
41
Total Downloads

Downloads (Last 12 months)14
Downloads (Last 6 weeks)1

Reflects downloads up to 22 Oct 2024

Other Metrics

View Author Metrics

Citations

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

HTML Format

View this article in HTML Format.

HTML Format

Abstract

References

Recommendations

Measuring permissiveness in parity games: mean-payoff parity games revisited

POSTER: Analyzing Access Control Policies with SMT

Poster: collaborative policy administration

Comments

Information

Published In

Sponsors

Publisher

Publication History

Check for updates

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Get Access

Login options

Full Access

View options

PDF

eReader

HTML Format

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations