Benjamin Aminof

Available identifiers

zbMath Open aminof.benjaminMaRDI QIDQ385024

List of research outcomes

Publication	Date of Publication	Type
Verification of agent navigation in partially-known environments	2022-06-01	Paper
https://portal.mardi4nfdi.de/entity/Q4994894	2021-06-22	Paper
Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction	2020-07-07	Paper
https://portal.mardi4nfdi.de/entity/Q4633896	2019-05-06	Paper
CTL\(^\ast\) with graded path modalities	2018-09-27	Paper
Graded modalities in strategy logic	2018-06-14	Paper
Parameterized model checking of rendezvous systems	2018-06-01	Paper
First-cycle games	2017-05-12	Paper
Model Checking Parameterised Multi-token Systems via the Composition Method	2016-09-05	Paper
On the Expressive Power of Communication Primitives in Parameterised Systems	2016-01-12	Paper
On CTL* with Graded Path Modalities	2016-01-12	Paper
Liveness of Parameterized Timed Networks	2015-11-04	Paper
Parameterized Model Checking of Token-Passing Systems	2015-01-13	Paper
Reasoning about online algorithms with weighted automata	2014-11-18	Paper
Parameterized Model Checking of Rendezvous Systems	2014-09-15	Paper
Rigorous approximated determinization of weighted automata	2013-11-29	Paper
Pushdown module checking with imperfect information	2013-06-06	Paper
Improved model checking of hierarchical systems	2012-05-24	Paper
Formal Analysis of Online Algorithms	2011-10-07	Paper
Improved model checking of hierarchical systems	2010-01-14	Paper
On the Relative Succinctness of Nondeterministic Büchi and co-Büchi Word Automata	2009-01-27	Paper
Pushdown Module Checking with Imperfect Information	2008-09-18	Paper
On the Succinctness of Nondeterminism	2008-09-04	Paper
Logic for Programming, Artificial Intelligence, and Reasoning	2005-11-10	Paper

Research outcomes over time

This page was built for person: Benjamin Aminof