Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	April 2024
Genre:	EDV / Informatik
	Algorithmen und Datenstrukturen / categoricalmodelsandlogics / concurrencytheory / emergingmodelsofcomputation / Informationstheorie / languagetheory,automata,andgames / logicalaspectsofcomputationalcomplexity / logicsofprogramming / Mathematik für Informatiker / modal,spatial,andtemporallogics / modelsofsoftwaresecurity / OpenAccess / ProgramAnalysis / softwarespecificationandrefinement / Systemanalyse und -design mehr...
ISBN:	9783031572272
EAN-Code:	9783031572272
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D 17 mm
Gewicht:	452 gr
Seiten:	296
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Invited Talk.- Ackermannian Completion of Separators.- Infinite Games.- Fair Omega-regular Games.- Stochastic Window Mean-Payoff Games.- Symbolic Solution of Emerson-Lei Games for Reactive Synthesis.- Parity Games on Temporal Graphs.- Categorical Semantics.- Drawing from an Urn is Isometric.- Enriching Diagrams with Algebraic Operations.- Monoidal Extended Stone Duality.- Towards a Compositional Framework for Convex Analysis (with Applications to Probability Theory).- Automata and Synthesis.- Determinization of Integral Discounted-Sum Automata is Decidable.- Checking History-Determinism is NP-hard for Parity Automata.- Tighter Construction of Tight Büchi Automata.- Synthesis with Privacy Against an Observer.