English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

The synthesis of maximally-permissive controllers in infinite-state systemshas many practical applications. Such controllers directly correspond tomaximal winning strategies in logically specified infinite-state two-playergames. In this paper, we introduce a tool called GenSys which is a fixed-pointengine for computing maximal winning strategies for players in infinite-statesafety games. A key feature of GenSys is that it leverages the capabilities ofexisting off-the-shelf solvers to implement its fixed point engine. GenSysoutperforms state-of-the-art tools in this space by a significant margin. Ourtool has solved some of the challenging problems in this space, is scalable,and also synthesizes compact controllers. These controllers are comparativelysmall in size and easier to comprehend. GenSys is freely available for use andis available under an open-source license.

GenSys: A Scalable Fixed-point Engine for Maximal Controller Synthesis over Infinite State Spaces