HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Orna Kupferman

Publications
Playing with the Maximum-Flow Problem
Orna Kupferman
In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
LTL with Arithmetic and its Applications in Reasoning about Hierarchical Systems
Rachel Faran and Orna Kupferman
In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Alternating Reachability Games with Behavioral and Revenue Objectives
Orna Kupferman and Tami Tamir
In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Keyphrases

game theory, hierarchical systems, Infinite alphabets, Integer Linear Programming, LTL with arithmetic, model checking, Nash equilibrium, Rational synthesis, reachability games.

Copyright © 2012-2025 easychair.org. All rights reserved.