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 CTL* with Graded Path Modalities	2016-01-12	Paper
On the Expressive Power of Communication Primitives in Parameterised Systems	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Benjamin Aminof