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 Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

Complex systems are usually modelled through a combination of structural andbehavioural models, where separate behavioural models make it easier to designand understand partial behaviour. When partial models are combined, we need toguarantee that they are consistent, and several automated techniques have beendeveloped to check this. We argue that in some cases it is impossible toguarantee total consistency, and instead we want to find execution paths acrosssuch models with minimal conflicts with respect to a certain metric ofinterest. We present an efficient and scalable solution to find optimal pathsthrough a combination of the theorem prover Isabelle with the constraint solverZ3. Our approach has been inspired by a healthcare problem, namely how todetect conflicts between medications taken by patients with multiple chronicconditions, and how to find preferable alternatives automatically.

A Flexible Approach for Finding Optimal Paths with Minimal Conflicts