On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing
Alternating-time temporal logic (ATL*) is a well-established framework for formal reasoning
about multi-agent systems. However, while ATL* can reason about the strategic ability of …
about multi-agent systems. However, while ATL* can reason about the strategic ability of …
Synthesizing dominant strategies for liveness
Reactive synthesis automatically derives a strategy that satisfies a given specification.
However, requiring a strategy to meet the specification in every situation is, in many cases …
However, requiring a strategy to meet the specification in every situation is, in many cases …
Reactive synthesis of dominant strategies
We study the synthesis under environment specifications problem for LTL/LTLf which, in
particular, generalizes FOND (strong) planning with these temporal goals. We consider the …
particular, generalizes FOND (strong) planning with these temporal goals. We consider the …
Synthesizing dominant strategies for liveness (full version)
B Finkbeiner, N Passing - ar** verified programs, it is …
[PDF][PDF] A Comparative Binary Analysis Tool (CBAT) Final Technical Report
D Koller - Contract - apps.dtic.mil
This report describes the research and software development carried out by the CBAT team
in the context of ONR's Total Platform Cyber Protection (TPCP) program. The CBAT tool …
in the context of ONR's Total Platform Cyber Protection (TPCP) program. The CBAT tool …