scientific article; zbMATH DE number 7089068

zbMath1437.68176arXiv1807.00893MaRDI QIDQ5227518

Nathalie Bertrand, Miheer Dewaskar, Adwait Godbole, Blaise Genest, Hugo Gimbert

Publication date: 6 August 2019

Full work available at URL: https://arxiv.org/abs/1807.00893

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

verificationcontrolparametric systemslogic

Mathematics Subject Classification ID

Applications of game theory (91A80) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Agent technology and artificial intelligence (68T42) Multi-agent systems (93A16)

Related Items (2)

Controlling a random population ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebras and combinators
• The Last Mathematician from Hilbert's Göttingen: Saunders Mac Lane as Philosopher of Mathematics
• Hilbert's Twenty-Fourth Problem
• Lambda terms for natural deduction, sequent calculus and cut elimination

This page was built for publication: