Infinite games on finite graphs using grossone

DOI10.1007/S00500-020-05167-1MaRDI QIDQ2156891zbMATH OpenOpenAlexFDO

Authors Louis D'Alotto

Publication date 21 July 2022

Published in Soft Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00500-020-05167-1

zbMATH Keywords

finite automatagrossoneinfinite games

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Games involving graphs (91A43)

Recommendations

• Infinite games played on finite graphs
• Computer Science Logic
• Infinite games on finite sets
• scientific article; zbMATH DE number 1953100
• Playing infinite games in finite time.

Cites work

• A classification of one-dimensional cellular automata using infinite computations
• A new applied approach for executing computations with infinite and infinitesimal quantities
• Automata theory and its applications
• Computations with grossone-based infinities
• Computing sums of conditionally convergent and divergent series using the concept of grossone
• Conjugate-symplecticity properties of Euler-Maclaurin methods and their implementation on the infinity computer
• scientific article; zbMATH DE number 2129479 (Why is no real title available?)
• scientific article; zbMATH DE number 3976377 (Why is no real title available?)
• scientific article; zbMATH DE number 3450200 (Why is no real title available?)
• Independence of the grossone-based infinity methodology from non-standard analysis and comments upon logical fallacies in some texts asserting the opposite
• Infinite games played on finite graphs
• Metamathematical investigations on the theory of grossone
• Nonlinear programming and grossone: quadratic programing and the role of constraint qualifications
• Numerical infinities and infinitesimals: methodology, applications, and repercussions on two Hilbert problems
• Observability of Turing machines: a refinement of the theory of computation
• Planar methods and grossone for the conjugate gradient breakdown in nonlinear programming
• Taking the Pirahã seriously
• The exact measures of the Sierpiński \(d\)-dimensional tetrahedron in connection with a Diophantine nonlinear system
• The Olympic medals ranks, lexicographic ordering, and numerical infinities
• Using grossone to count the number of elements of infinite sets and the connection with bijections

Cited in

(7)

• Infinite games played on finite graphs
• Domination games on infinite graphs
• Weak observable liveness and infinite games on finite graphs
• Admissible Strategies in Infinite Games over Graphs
• scientific article; zbMATH DE number 1953100 (Why is no real title available?)
• Computer Aided Verification
• A new cutting plane method for lexicographic multi-objective integer linear programming

This page was built for publication: Infinite games on finite graphs using grossone

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2156891)