Computer Aided Verification, CAV 2015


Title/Authors Title Research Artifacts
[?] A research artifact is any by-product of a research project that is not directly included in the published research paper. In Computer Science research this is often source code and data sets, but it could also be media, documentation, inputs to proof assistants, shell-scripts to run experiments, etc.
Details

Efficient Anytime Techniques for Model-Based Safety Analysis

Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Cristian Mattarei

Efficient Anytime Techniques for Model-Based Safety Analysis

Details
Discussion Comments: 0
Verification: Authors have not verified information

Automatic Rootcausing for Program Equivalence Failures in Binaries

Shuvendu K. Lahiri, Rohit Sinha, Chris Hawblitzel

Automatic Rootcausing for Program Equivalence Failures in Binaries

Details
Discussion Comments: 0
Verification: Authors have not verified information

PROPhESY: A PRObabilistic ParamEter SYnthesis Tool

Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen, Erika Ábrahám

PROPhESY: A PRObabilistic ParamEter SYnthesis Tool

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Alchemist: Learning Guarded Affine Functions

Shambwaditya Saha, Pranav Garg, P. Madhusudan

Alchemist: Learning Guarded Affine Functions

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Synthesising Executable Gene Regulatory Networks from Single-Cell Gene Expression Data

Jasmin Fisher, Ali Sinan Köksal, Nir Piterman, Steven Woodhouse

Synthesising Executable Gene Regulatory Networks from Single-Cell Gene Expression Data

Details
Discussion Comments: 0
Verification: Authors have not verified information

A Trusted Mechanised Specification of JavaScript: One Year On

Philippa Gardner, Gareth Smith, Conrad Watt, Thomas Wood

A Trusted Mechanised Specification of JavaScript: One Year On

Details
Discussion Comments: 0
Verification: Authors have not verified information

Fine-Grained Caching of Verification Results

K. Rustan M. Leino, Valentin Wüstholz

Fine-Grained Caching of Verification Results

Details
Discussion Comments: 0
Verification: Authors have not verified information

Adam: Causality-Based Synthesis of Distributed Systems

Bernd Finkbeiner, Manuel Gieseking, Ernst-Rüdiger Olderog

Adam: Causality-Based Synthesis of Distributed Systems

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Time-Aware Abstractions in HybridSal

Ashish Tiwari

Time-Aware Abstractions in HybridSal

Details
Discussion Comments: 0
Verification: Author has not verified information

Skipping Refinement

Mitesh Jain, Panagiotis Manolios

Skipping Refinement

Details
Discussion Comments: 0
Verification: Authors have not verified information

Abstract Interpretation with Higher-Dimensional Ellipsoids and Conic Extrapolation

Mendes Oulamara, Arnaud J. Venet

Abstract Interpretation with Higher-Dimensional Ellipsoids and Conic Extrapolation

Details
Discussion Comments: 0
Verification: Authors have not verified information

On Automation of CTL* Verification for Infinite-State Systems

Byron Cook, Heidy Khlaaf, Nir Piterman

On Automation of CTL* Verification for Infinite-State Systems

Details
Discussion Comments: 0
Verification: Authors have not verified information

Boosting k-Induction with Continuously-Refined Invariants

Dirk Beyer, Matthias Dangl, Philipp Wendler

Boosting k-Induction with Continuously-Refined Invariants

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Algorithms for Model Checking HyperLTL and HyperCTL ^*

Bernd Finkbeiner, Markus N. Rabe, César Sánchez

Algorithms for Model Checking HyperLTL and HyperCTL ^*

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Fast Interpolating BMC

Yakir Vizel, Arie Gurfinkel, Sharad Malik

Fast Interpolating BMC

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

The SeaHorn Verification Framework

Arie Gurfinkel, Temesghen Kahsai, Anvesh Komuravelli, Jorge A. Navas

The SeaHorn Verification Framework

Details
Discussion Comments: 0
Verification: Authors have not verified information

PVSio-web 2.0: Joining PVS to HCI

Paolo Masci, Patrick Oladimeji, Yi Zhang, Paul L. Jones, Paul Curzon, Harold W. Thimbleby

PVSio-web 2.0: Joining PVS to HCI

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

A Type-Directed Approach to Program Repair

Alex Reinking, Ruzica Piskac

A Type-Directed Approach to Program Repair

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Symbolic Polytopes for Quantitative Interpolation and Verification

Klaus von Gleissenthall, Boris Köpf, Andrey Rybalchenko

Symbolic Polytopes for Quantitative Interpolation and Verification

Details
Discussion Comments: 0
Verification: Authors have not verified information

Angelic Verification: Precise Verification Modulo Unknowns

Ankush Das, Shuvendu K. Lahiri, Akash Lal, Yi Li

Angelic Verification: Precise Verification Modulo Unknowns

Details
Discussion Comments: 0
Verification: Authors have not verified information

OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case

Stijn de Gouw, Jurriaan Rot, Frank S. de Boer, Richard Bubel, Reiner Hähnle

OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Counterexample Explanation by Learning Small Strategies in Markov Decision Processes

Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Andreas Fellner, Jan Kretínský

Counterexample Explanation by Learning Small Strategies in Markov Decision Processes

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Tree Buffers

Radu Grigore, Stefan Kiefer

Tree Buffers

Details
Discussion Comments: 0
Verification: Authors have not verified information

The Open-Source LearnLib - A Framework for Active Automata Learning

Malte Isberner, Falk Howar, Bernhard Steffen

The Open-Source LearnLib - A Framework for Active Automata Learning

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Bbs: A Phase-Bounded Model Checker for Asynchronous Programs

Rupak Majumdar, Zilong Wang

Bbs: A Phase-Bounded Model Checker for Asynchronous Programs

Details
Discussion Comments: 0
Verification: Authors have not verified information

Fairness Modulo Theory: A New Approach to LTL Software Model Checking

Daniel Dietsch, Matthias Heizmann, Vincent Langenfeld, Andreas Podelski

Fairness Modulo Theory: A New Approach to LTL Software Model Checking

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Empirical Software Metrics for Benchmarking of Verification Tools

Yulia Demyanova, Thomas Pani, Helmut Veith, Florian Zuleger

Empirical Software Metrics for Benchmarking of Verification Tools

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

OptiMathSAT: A Tool for Optimization Modulo Theories

Roberto Sebastiani, Patrick Trentin

OptiMathSAT: A Tool for Optimization Modulo Theories

Details
Author Comments: The research artifact is a VirtualBox image ready for reproducing the experiment illustrated in the extended version of the paper. Alternatively, one can separately download the packages http://disi.unitn.it/trentin/resources/tacas15.tar.gz (first exp. eval.) and http://disi.unitn.it/trentin/resources/tacas15.tar.gz (second exp. eval.).
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

The Hanoi Omega-Automata Format

Tomás Babiak, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, Jan Kretínský, David Müller, David Parker, Jan Strejcek

The Hanoi Omega-Automata Format

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Property-Directed Inference of Universal Invariants or Proving Their Absence

Aleksandr Karbyshev, Nikolaj Bjørner, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham

Property-Directed Inference of Universal Invariants or Proving Their Absence

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation

Yu-Fang Chen, Chih-Duo Hong, Bow-Yaw Wang, Lijun Zhang

Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation

Details
Discussion Comments: 0
Verification: Authors have not verified information

Automata-Based Model Counting for String Constraints

Abdulbaki Aydin, Lucas Bang, Tevfik Bultan

Automata-Based Model Counting for String Constraints

Details
Discussion Comments: 0
Verification: Authors have not verified information

Norn: An SMT Solver for String Constraints

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Lukás Holík, Ahmed Rezine, Philipp Rümmer, Jari Stenman

Norn: An SMT Solver for String Constraints

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms

Igor Konnov, Helmut Veith, Josef Widder

SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Learning Commutativity Specifications

Timon Gehr, Dimitar Dimitrov, Martin T. Vechev

Learning Commutativity Specifications

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Percentile Queries in Multi-dimensional Markov Decision Processes

Mickael Randour, Jean-François Raskin, Ocan Sankur

Percentile Queries in Multi-dimensional Markov Decision Processes

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced no artifacts
Verification: Authors have verified information

Formal Design and Safety Analysis of AIR6110 Wheel Brake System

Marco Bozzano, Alessandro Cimatti, Anthony Fernandes Pires, D. Jones, G. Kimberly, T. Petri, R. Robinson, Stefano Tonetta

Formal Design and Safety Analysis of AIR6110 Wheel Brake System

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Model Checking Parameterized Asynchronous Shared-Memory Systems

Antoine Durand-Gasselin, Javier Esparza, Pierre Ganty, Rupak Majumdar

Model Checking Parameterized Asynchronous Shared-Memory Systems

Details
Author Comments: Theoretical paper
Discussion Comments: 0
Sharing: Other
Verification: Authors have verified information

Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints

Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Julian Dolby, Xiangyu Zhang

Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks

Alessandro Abate, Lubos Brim, Milan Ceska, Marta Z. Kwiatkowska

Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks

Details
Discussion Comments: 0
Verification: Authors have not verified information

Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs

Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis

Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Predicting a Correct Program in Programming by Example

Rishabh Singh, Sumit Gulwani

Predicting a Correct Program in Programming by Example

Details
Discussion Comments: 0
Verification: Authors have not verified information

Systematic Asynchrony Bug Exploration for Android Apps

Burcu Kulahcioglu Ozkan, Michael Emmi, Serdar Tasiran

Systematic Asynchrony Bug Exploration for Android Apps

Details
Discussion Comments: 0
Verification: Authors have not verified information

Meeting a Powertrain Verification Challenge

Parasara Sridhar Duggirala, Chuchu Fan, Sayan Mitra, Mahesh Viswanathan

Meeting a Powertrain Verification Challenge

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Conflict-Driven Conditional Termination

Vijay D'Silva, Caterina Urban

Conflict-Driven Conditional Termination

Details
Discussion Comments: 0
Verification: Authors have not verified information

Time Robustness in MTL and Expressivity in Hybrid System Falsification

Takumi Akazaki, Ichiro Hasuo

Time Robustness in MTL and Expressivity in Hybrid System Falsification

Details
Discussion Comments: 0
Verification: Authors have not verified information

An Axiomatic Specification for Sequential Memory Models

William Mansky, Dmitri Garbuzov, Steve Zdancewic

An Axiomatic Specification for Sequential Memory Models

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

The Inez Mathematical Programming Modulo Theories Framework

Panagiotis Manolios, Jorge Pais, Vasilis Papavasileiou

The Inez Mathematical Programming Modulo Theories Framework

Details
Discussion Comments: 0
Verification: Authors have not verified information

Verifying Linearizability of Intel® Software Guard Extensions

Rebekah Leslie-Hurd, Dror Caspi, Matthew Fernandez

Verifying Linearizability of Intel® Software Guard Extensions

Details
Discussion Comments: 0
Verification: Authors have not verified information

Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions

Amir M. Ben-Amram, Samir Genaim

Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced no artifacts
Verification: Authors have verified information

Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems

Ankush Desai, Sanjit A. Seshia, Shaz Qadeer, David Broman, John C. Eidson

Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems

Details
Discussion Comments: 0
Verification: Authors have not verified information

Quantifying Conformance Using the Skorokhod Metric

Jyotirmoy V. Deshmukh, Rupak Majumdar, Vinayak S. Prabhu

Quantifying Conformance Using the Skorokhod Metric

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Modular Deductive Verification of Multiprocessor Hardware Designs

Muralidaran Vijayaraghavan, Adam Chlipala, Arvind, Nirav Dave

Modular Deductive Verification of Multiprocessor Hardware Designs

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Counterexample-Guided Quantifier Instantiation for Synthesis in SMT

Andrew Reynolds, Morgan Deters, Viktor Kuncak, Cesare Tinelli, Clark W. Barrett

Counterexample-Guided Quantifier Instantiation for Synthesis in SMT

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Deciding Local Theory Extensions via E-matching

Kshitij Bansal, Andrew Reynolds, Tim King, Clark W. Barrett, Thomas Wies

Deciding Local Theory Extensions via E-matching

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Automated and Modular Refinement Reasoning for Concurrent Programs

Chris Hawblitzel, Erez Petrank, Shaz Qadeer, Serdar Tasiran

Automated and Modular Refinement Reasoning for Concurrent Programs

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Automatic Completion of Distributed Protocols with Symmetry

Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa

Automatic Completion of Distributed Protocols with Symmetry

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Synthesis Through Unification

Rajeev Alur, Pavol Cerný, Arjun Radhakrishna

Synthesis Through Unification

Details
Discussion Comments: 0
Verification: Authors have not verified information

Measuring with Timed Patterns

Thomas Ferrère, Oded Maler, Dejan Nickovic, Dogan Ulus

Measuring with Timed Patterns

Details
Discussion Comments: 0
Verification: Authors have not verified information

Using Minimal Correction Sets to More Efficiently Compute Minimal Unsatisfiable Sets

Fahiem Bacchus, George Katsirelos

Using Minimal Correction Sets to More Efficiently Compute Minimal Unsatisfiable Sets

Details
Discussion Comments: 0
Verification: Authors have not verified information

Adaptive Concretization for Parallel Program Synthesis

Jinseong Jeon, Xiaokang Qiu, Armando Solar-Lezama, Jeffrey S. Foster

Adaptive Concretization for Parallel Program Synthesis

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Cutting the Mix

Jürgen Christ, Jochen Hoenicke

Cutting the Mix

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Word-Level Symbolic Trajectory Evaluation

Supratik Chakraborty, Zurab Khasidashvili, Carl-Johan H. Seger, Rajkumar Gajavelly, Tanmay Haldankar, Dinesh Chhatani, Rakesh Mistry

Word-Level Symbolic Trajectory Evaluation

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Automatic Verification of Stability and Safety for Delay Differential Equations

Liang Zou, Martin Fränzle, Naijun Zhan, Peter Nazier Mosaad

Automatic Verification of Stability and Safety for Delay Differential Equations

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Poling: SMT Aided Linearizability Proofs

He Zhu, Gustavo Petri, Suresh Jagannathan

Poling: SMT Aided Linearizability Proofs

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis

Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach

From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Deductive Program Repair

Etienne Kneuss, Manos Koukoutos, Viktor Kuncak

Deductive Program Repair

Details
Discussion Comments: 0
Verification: Authors have not verified information

Finding Bounded Path in Graph Using SMT for Automatic Clock Routing

Amit Erez, Alexander Nadel

Finding Bounded Path in Graph Using SMT for Automatic Clock Routing

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Predicate Abstraction and CEGAR for Disproving Termination of Higher-Order Functional Programs

Takuya Kuwahara, Ryosuke Sato, Hiroshi Unno, Naoki Kobayashi

Predicate Abstraction and CEGAR for Disproving Termination of Higher-Order Functional Programs

Details
Discussion Comments: 0
Verification: Authors have not verified information

Pareto Curves of Multidimensional Mean-Payoff Games

Romain Brenguier, Jean-François Raskin

Pareto Curves of Multidimensional Mean-Payoff Games

Details
Discussion Comments: 0
Verification: Authors have not verified information