Valentin Goranko

ORCID

Publication Activity (10 Years)

Years Active: 1985-2023
Publications (10 Years): 51

Top Venues

CoRR

AAMAS

Auton. Agents Multi Agent Syst.

TIME

Publications

Serenella Cerrito, Valentin Goranko, Sophie Paillocher
Partial Model Checking and Partial Model Synthesis in LTL Using a Tableau-Based Approach. FSCD (2023)
Valentin Goranko, Ruaan Kellerman, Alberto Zanardo
Structural theory of trees I. Branching and condensations of trees. Contributions Discret. Math. 18 (2) (2023)
Ruaan Kellerman, Alberto Zanardo, Valentin Goranko
Structural theory of trees II. Completeness and completions of trees. Contributions Discret. Math. 18 (2) (2023)
Sebastian Enqvist, Valentin Goranko
The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games. ACM Trans. Comput. Log. 23 (4) (2022)
Nils Bulling, Valentin Goranko
Combining quantitative and qualitative reasoning in concurrent multi-player games. Auton. Agents Multi Agent Syst. 36 (1) (2022)
Nils Bulling, Valentin Goranko
Combining Quantitative and Qualitative Reasoning in Concurrent Multi-player Games. AAMAS (2022)
Valentin Goranko, Fengkui Ju
A Logic for Conditional Local Strategic Reasoning. J. Log. Lang. Inf. 31 (2) (2022)
Dilian Gurov, Valentin Goranko, Edvin Lundberg
Knowledge-based strategies for multi-agent teams playing against Nature. Artif. Intell. 309 (2022)
Valentin Goranko
Transformations of Multi-Player Normal form Games by Preplay Offers between Players. Axioms 11 (1) (2022)
Willem Conradie, Valentin Goranko, Peter Jipsen
Algorithmic Correspondence for Relevance Logics, Bunched Implication Logics, and Relation Algebras via an Implementation of the Algorithm PEARL. RAMiCS (2021)
Valentin Goranko, Fengkui Ju
A Logic for Conditional Local Strategic Reasoning. CoRR (2021)
Ruaan Kellerman, Valentin Goranko
Approximating Trees as Coloured linear Orders and Complete Axiomatisations of some Classes of Trees. J. Symb. Log. 86 (3) (2021)
Valentin Goranko
How Deontic Logic Ought to Be: Towards a Many-Sorted Framework for Normative Reasoning. DEON (2021)
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
with applications to model checking. Inf. Comput. 276 (2021)
Riccardo De Masellis, Valentin Goranko
Logic-based Specification and Verification of Homogeneous Dynamic Multi-agent Systems. AAMAS (2021)
Willem Conradie, Valentin Goranko, Peter Jipsen
Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras: the algorithm PEARL and its implementation (Technical Report). CoRR (2021)
Valentin Goranko
Model checking and model synthesisfrom partial models: a logic-based perspective. CoRR (2020)
Dilian Gurov, Valentin Goranko, Edvin Lundberg
Knowledge-Based Strategies for Multi-Agent Teams Playing Against Nature. CoRR (2020)
Valentin Goranko
The Modal Logic of Almost Sure Frame Validities in the Finite. AiML (2020)
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
Gradual Guaranteed Coordination in Repeated Win-Lose Coordination Games. ECAI (2020)
Natasha Alechina, Valentin Goranko
Editorial Foreword. J. Log. Lang. Inf. 29 (1) (2020)
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
Rational coordination with no communication or conventions. J. Log. Comput. 30 (6) (2020)
Riccardo De Masellis, Valentin Goranko
Logic-based specification and verification of homogeneous dynamic multi-agent systems. Auton. Agents Multi Agent Syst. 34 (2) (2020)
Sebastian Enqvist, Valentin Goranko
The temporal logic of coalitional goal assignments in concurrent multi-player games. CoRR (2020)
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
Alternating-time temporal logic ATL with finitely bounded semantics. Theor. Comput. Sci. 797 (2019)
Valentin Goranko
Hybrid Deduction-Refutation Systems. Axioms 8 (4) (2019)
Serenella Cerrito, Amélie David, Valentin Goranko
Minimisation of Models Satisfying CTL Formulas. TIME (2019)
Valentin Goranko, Fengkui Ju
Towards a Logic for Conditional Local Strategic Reasoning. LORI (2019)
Riccardo De Masellis, Valentin Goranko
Logic-based Specification and Verification of Homogeneous Dynamic Multi-agent Systems. CoRR (2019)
Rodica Condurache, Riccardo De Masellis, Valentin Goranko
Dynamic Multi-Agent Systems: Conceptual Framework, Automata-Based Modelling and Verification. PRIMA (2019)
Riccardo De Masellis, Valentin Goranko, Stefan Gruner, Nils Timm
Generalising the Dining Philosophers Problem: Competitive Dynamic Resource Allocation in Multi-agent Systems. EUMAS (2018)
Valentin Goranko, Sebastian Enqvist
Socially Friendly and Group Protecting Coalition Logics. AAMAS (2018)
Fengkui Ju, Gianluca Grilletti, Valentin Goranko
A Logic for Temporal Conditionals and a Solution to the Sea Battle Puzzle. Advances in Modal Logic (2018)
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
Game-Theoretic Semantics for Alternating-Time Temporal Logic. ACM Trans. Comput. Log. 19 (3) (2018)
Valentin Goranko, Antti Kuusisto
Logics for Propositional Determinacy and Independence. Rev. Symb. Log. 11 (3) (2018)
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
Rational coordination with no communication or conventions. CoRR (2017)
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
Rational Coordination in Games with Enriched Representations. EUMAS/AT (2017)
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
CTL with Finitely Bounded Semantics. TIME (2017)
Valentin Goranko
Dov Gabbay, Reactive Kripke Semantics. Stud Logica 105 (2) (2017)
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
Rational Coordination with no Communication or Conventions. LORI (2017)
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
Game-Theoretic Semantics for ATL+ with Applications to Model Checking. AAMAS (2017)
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
Game-Theoretic Semantics for ATL+ with Applications to Model Checking. CoRR (2017)
Olivier Gasquet, Valentin Goranko, François Schwarzentruber
Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systems. Auton. Agents Multi Agent Syst. 30 (5) (2016)
Valentin Goranko, Louwe B. Kuijer
On the Length and Depth of Temporal Formulae Distinguishing Non-bisimilar Transition Systems. TIME (2016)
Valentin Goranko, Antti Kuusisto
Logics for Propositional Determinacy and Independence. CoRR (2016)
Luca Aceto, Dario Della Monica, Valentin Goranko, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases. Acta Informatica 53 (3) (2016)
Valentin Goranko, Paolo Turrini
Two-Player Preplay Negotiation Games with Conditional Offers. IGTR 18 (1) (2016)
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
Game-Theoretic Semantics for Alternating-Time Temporal Logic. AAMAS (2016)
David Fernández-Duque, Valentin Goranko
Secure aggregation of distributed information: How a team of agents can safely share secrets in front of a spy. Discret. Appl. Math. 198 (2016)
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
Game-Theoretic Semantics for Alternating-Time Temporal Logic. CoRR (2016)
Valentin Goranko, Wojciech Jamroga
State and path coalition effectivity models of concurrent multi-player games. Auton. Agents Multi Agent Syst. 30 (3) (2016)
Serenella Cerrito, Amélie David, Valentin Goranko
. ACM Trans. Comput. Log. 17 (1) (2015)
David Fernández-Duque, Valentin Goranko
Secure aggregation of distributed information. CoRR (2014)
Serenella Cerrito, Amélie David, Valentin Goranko
Optimal Tableaux Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-time Temporal Logic ATL+. CoRR (2014)
Olivier Gasquet, Valentin Goranko, François Schwarzentruber
Big brother logic: logical modeling and reasoning about agents equipped with surveillance cameras in the plane. AAMAS (2014)
Valentin Goranko, Steen Vester
Optimal Decision Procedures for Satisfiability in Fragments of Alternating-time Temporal Logics. Advances in Modal Logic (2014)
Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
The dark side of interval temporal logic: marking the undecidability border. Ann. Math. Artif. Intell. 71 (1-3) (2014)
Serenella Cerrito, Amélie David, Valentin Goranko
Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+. IJCAR (2014)
Mai Ajspur, Valentin Goranko
Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge. ICLA (2013)
Nils Bulling, Valentin Goranko
How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games (Extended Abstract) SR (2013)
Valentin Goranko, Wojciech Jamroga, Paolo Turrini
Strategic games and truly playable effectivity functions. Auton. Agents Multi Agent Syst. 26 (2) (2013)
Valentin Goranko, Paolo Turrini
An Offer You Cannot Refuse: Obtaining Efficiency and Fairness in Preplay Negotiation Games with Conditional Offers. LORI (2013)
Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
Metric propositional neighborhood logics on natural numbers. Softw. Syst. Model. 12 (2) (2013)
Mai Ajspur, Valentin Goranko, Dmitry Shkatov
Tableau-based decision procedure for the multiagent epistemic logic with all coalitional operators for common and distributed knowledge. Log. J. IGPL 21 (3) (2013)
Valentin Goranko
Undecidability and Temporal Logic: Some Landmarks from Turing to the Present. TIME (2012)
Valentin Goranko, Wojciech Jamroga
State and path coalition effectivity models for logics of multi-player games. AAMAS (2012)
Mai Ajspur, Valentin Goranko, Dmitry Shkatov
Tableau-based decision procedure for the multi-agent epistemic logic with all coalitional operators for common and distributed knowledge. CoRR (2012)
Valentin Goranko
Transformations of normal form games by preplay offers for payments among players CoRR (2012)
Valentin Goranko, Paolo Turrini
Non-cooperative games with preplay negotiations CoRR (2012)
Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers. J. Univers. Comput. Sci. 18 (20) (2012)
Marco Aiello, Guram Bezhanishvili, Isabelle Bloch, Valentin Goranko
Logic for physical space - From antiquity to present days. Synth. 186 (3) (2012)
Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
Expressiveness of the Interval Logics of Allen's Relations on the Class of All Linear Orders: Complete Classification. IJCAI (2011)
Valentin Goranko, Ruaan Kellerman
Classes and theories of trees associated with a class of linear orders. Log. J. IGPL 19 (1) (2011)
Valentin Goranko, Wojciech Jamroga, Paolo Turrini
Strategic games and truly playable effectivity functions. AAMAS (2011)
Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border. TIME (2011)
Valentin Goranko, Wojciech Jamroga
Foreword. J. Appl. Non Class. Logics 21 (1) (2011)
Hans van Ditmarsch, David Fernández-Duque, Valentin Goranko, Wojtek Jamroga, Manuel Ojeda-Aciego
Preface. Electron. Notes Theor. Comput. Sci. 278 (2011)
Dario Della Monica, Valentin Goranko, Guido Sciavicco
Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders. Electron. Notes Theor. Comput. Sci. 273 (2011)
Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
Interval Temporal Logics: a Journey. Bull. EATCS 105 (2011)
Philippe Balbiani, Valentin Goranko, Guido Sciavicco
Two-sorted Point-Interval Temporal Logics. Electron. Notes Theor. Comput. Sci. 278 (2011)
Valentin Goranko, Angelo Kyrilov, Dmitry Shkatov
Tableau Tool for Testing Satisfiability in LTL: Implementation and Experimental Analysis. Electron. Notes Theor. Comput. Sci. 262 (2010)
Stéphane Demri, Alain Finkel, Valentin Goranko, Govert van Drimmelen
Model-checking CTL* over flat Presburger counter systems. J. Appl. Non Class. Logics 20 (4) (2010)
Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability. ECAI (2010)
Valentin Goranko
Book Reviews. Stud Logica 94 (3) (2010)
Willem Conradie, Valentin Goranko, Dimiter Vakarelov
Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA. J. Appl. Log. 8 (4) (2010)
Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala
Tableaux for Logics of Subinterval Structures over Dense Orderings. J. Log. Comput. 20 (1) (2010)
Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings. Electron. Notes Theor. Comput. Sci. 262 (2010)
Valentin Goranko, Dmitry Shkatov
Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time. AAMAS (2) (2009)
Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco
Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions. Ann. Pure Appl. Log. 161 (3) (2009)
Willem Conradie, Valentin Goranko, Dimiter Vakarelov
Algorithmic Correspondence and Completeness in Modal Logic. III. Extensions of the Algorithm SQEMA with Substitutions. Fundam. Informaticae 92 (4) (2009)
Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths. SEFM (2009)
Valentin Goranko, Dmitry Shkatov
Tableau-based decision procedures for logics of strategic ability in multiagent systems. ACM Trans. Comput. Log. 11 (1) (2009)
Valentin Goranko, Dmitry Shkatov
Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic. LFCS (2009)
Valentin Goranko, Dmitry Shkatov
Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time CoRR (2009)
Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
Undecidability of Interval Temporal Logics with the Overlap Modality. TIME (2009)
Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings. Electron. Notes Theor. Comput. Sci. 231 (2009)
Valentin Goranko, Dmitry Shkatov
Tableau-based Decision Procedure for the Full Coalitional Multiagent Logic of Branching Time. MALLOW (2009)
Valentin Goranko, Dmitry Shkatov
Tableau-based procedure for deciding satisfiability in the full coalitional multiagent epistemic logic CoRR (2009)
Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification. LPAR (2008)
Valentin Goranko, Dmitry Shkatov
Tableau-based decision procedure for the multi-agent epistemic logic with operators of common and distributed knowledge CoRR (2008)

Valentin Goranko.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Valentin Goranko