Shaull Almagor

Available identifiers

zbMath Open almagor.shaullMaRDI QIDQ1622946

List of research outcomes

Publication	Date of Publication	Type
Jumping automata over infinite words	2025-01-13	Paper
The geometry of reachability in continuous vector addition systems with states	2024-12-03	Paper
Determinization of integral discounted-sum automata is decidable	2024-10-30	Paper
Dimension-minimality and primality of counter nets	2024-10-30	Paper
Determinization of one-counter nets	2024-08-13	Paper
Concurrent games with multiple topologies	2024-08-13	Paper
Temporal segmentation in multi agent path finding with applications to explainability	2024-07-03	Paper
https://portal.mardi4nfdi.de/entity/Q6124930	2024-04-10	Paper
Simulation by Rounds of Letter-to-Letter Transducers	2024-01-16	Paper
Jumping automata over Infinite words	2023-11-16	Paper
Quantitative assume guarantee synthesis	2022-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q5090452	2022-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q5089305	2022-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q5089314	2022-07-18	Paper
\(o\)-minimal invariants for linear loops	2022-02-24	Paper
What's decidable about weighted automata?	2022-01-06	Paper
First-order orbit queries	2021-08-05	Paper
https://portal.mardi4nfdi.de/entity/Q5009460	2021-08-04	Paper
\(o\)-minimal invariants for linear loops	2021-07-28	Paper
Weak cost register automata are still powerful	2021-04-19	Paper
Good-enough synthesis	2021-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q5111354	2020-05-27	Paper
Sensing as a complexity measure	2019-12-10	Paper
Weak cost register automata are still powerful	2018-11-22	Paper
Formally reasoning about quality	2018-08-02	Paper
Minimizing expected cost under hard Boolean constraints, with applications to quantitative synthesis	2018-03-21	Paper
Latticed-LTL synthesis in the presence of noisy inputs	2017-11-10	Paper
Repairing multi-player games	2017-09-12	Paper
Sensing as a complexity measure	2017-08-31	Paper
High-Quality Synthesis Against Stochastic Environments	2017-07-19	Paper
The sensing cost of monitoring and synthesis	2017-07-13	Paper
Regular sensing	2017-04-25	Paper
Discounting in LTL	2015-02-10	Paper
Latticed-LTL synthesis in the presence of noisy inputs	2014-04-16	Paper
Formalizing and Reasoning about Quality	2013-08-07	Paper
What's decidable about weighted automata?	2011-10-07	Paper
Max and sum semantics for alternating weighted automata	2011-10-07	Paper
Promptness in \(\omega \)-regular automata	2010-10-04	Paper

Research outcomes over time

This page was built for person: Shaull Almagor