Benjamin Aminof

60 papers A* 18A 3B 12C 1Journal 20Unranked 5

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	LTL Synthesis Under Multi-Agent Environment Assumptions. KR Benjamin Aminof, Giuseppe De Giacomo, Giuseppe Perelli, Sasha Rubin
2025	J	`jnl`	LTLf synthesis under environment specifications for reachability and safety properties. Inf. Comput. Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu
2025	A*	`conf`	LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces. IJCAI Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Moshe Y. Vardi
2025	J	`jnl`	Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems. Log. Methods Comput. Sci. Benjamin Aminof, Sasha Rubin, Francesco Spegni, Florian Zuleger
2024	A*	`conf`	Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments. IJCAI Benjamin Aminof, Giuseppe De Giacomo, Gianmarco Parretti, Sasha Rubin
2024	J	`jnl`	LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces. CoRR Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Moshe Y. Vardi
2024	A*	`conf`	Probabilistic Synthesis and Verification for LTL on Finite Traces. KR Benjamin Aminof, Linus Cooper, Sasha Rubin, Moshe Y. Vardi, Florian Zuleger
2024	A*	`conf`	Proper Linear-time Specifications of Environment Behaviors in Nondeterministic Planning and Reactive Synthesis. KR Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger
2023	J	`jnl`	LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties. CoRR Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu
2023	J	`jnl`	Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems. CoRR Benjamin Aminof, Sasha Rubin, Francesco Spegni, Florian Zuleger
2023	A*	`conf`	Reactive Synthesis of Dominant Strategies. AAAI Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin
2023	A*	`conf`	Stochastic Best-Effort Strategies for Borel Goals. LICS Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger
2023	C	`conf`	sc ltl EUMAS Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu
2022	A*	`conf`	Beyond Strong-Cyclic: Doing Your Best in Stochastic Environments. IJCAI Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger
2022	J	`jnl`	Verification of agent navigation in partially-known environments. Artif. Intell. Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger
2021	A*	`conf`	Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up. IJCAI Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin
2021	A*	`conf`	Synthesizing Best-effort Strategies under Multiple Environment Specifications. KR Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin
2020	A*	`conf`	Stochastic Fairness and Language-Theoretic Fairness in Planning in Nondeterministic Domains. ICAPS Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin
2020	A*	`conf`	Synthesizing strategies under expected and exceptional environment behaviors. IJCAI Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin
2019	A*	`conf`	Planning under LTL Environment Specifications. ICAPS Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin
2019	A*	`conf`	Probabilistic Strategy Logic. IJCAI Benjamin Aminof, Marta Kwiatkowska, Bastien Maubert, Aniello Murano, Sasha Rubin
2019	J	`jnl`	Stochastic Fairness and Language-Theoretic Fairness in Planning on Nondeterministic Domains. CoRR Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin
2018	J	`jnl`	CTL* with graded path modalities. Inf. Comput. Benjamin Aminof, Aniello Murano, Sasha Rubin
2018	J	`jnl`	Graded modalities in Strategy Logic. Inf. Comput. Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin
2018	B	`conf`	Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction. VMCAI Benjamin Aminof, Sasha Rubin, Ilina Stoilkovska, Josef Widder, Florian Zuleger
2018	J	`jnl`	Parameterized model checking of rendezvous systems. Distributed Comput. Benjamin Aminof, Tomer Kotek, Sasha Rubin, Francesco Spegni, Helmut Veith
2018	J	`jnl`	Planning and Synthesis Under Assumptions. CoRR Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin
2018	A*	`conf`	Synthesis under Assumptions. KR Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin
2017	J	`jnl`	First-cycle games. Inf. Comput. Benjamin Aminof, Sasha Rubin
2016	A	`conf`	Automatic Verification of Multi-Agent Systems in Parameterised Grid-Environments. AAMAS Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger
2016	—	`conf`	Extended Graded Modalities in Strategy Logic. SR Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin
2016	A	`conf`	Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria. AAMAS Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin
2016	J	`jnl`	Liveness of Parameterized Timed Networks. CoRR Benjamin Aminof, Sasha Rubin, Francesco Spegni, Florian Zuleger
2016	A	`conf`	Model Checking Parameterised Multi-token Systems via the Composition Method. IJCAR Benjamin Aminof, Sasha Rubin
2016	A*	`conf`	Prompt Alternating-Time Epistemic Logics. KR Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger
2015	—	`conf`	Liveness of Parameterized Timed Networks. ICALP (2) Benjamin Aminof, Sasha Rubin, Florian Zuleger, Francesco Spegni
2015	B	`conf`	On CTL* with Graded Path Modalities. LPAR Benjamin Aminof, Aniello Murano, Sasha Rubin
2015	B	`conf`	On the Expressive Power of Communication Primitives in Parameterised Systems. LPAR Benjamin Aminof, Sasha Rubin, Florian Zuleger
2015	B	`conf`	Verification of Asynchronous Mobile-Robots in Partially-Known Environments. PRIMA Sasha Rubin, Florian Zuleger, Aniello Murano, Benjamin Aminof
2014	—	`conf`	First Cycle Games. SR Benjamin Aminof, Sasha Rubin
2014	B	`conf`	Parameterized Model Checking of Rendezvous Systems. CONCUR Benjamin Aminof, Tomer Kotek, Sasha Rubin, Francesco Spegni, Helmut Veith
2014	B	`conf`	Parameterized Model Checking of Token-Passing Systems. VMCAI Benjamin Aminof, Swen Jacobs, Ayrat Khalimov, Sasha Rubin
2014	J	`jnl`	Satisfiability and Model Checking of CTL* with Graded Path Modalities. CoRR Benjamin Aminof, Aniello Murano, Sasha Rubin
2014	J	`jnl`	Synthesis of hierarchical systems. Sci. Comput. Program. Benjamin Aminof, Fabio Mogavero, Aniello Murano
2013	J	`jnl`	Parameterized Model Checking of Token-Passing Systems. CoRR Benjamin Aminof, Swen Jacobs, Ayrat Khalimov, Sasha Rubin
2013	J	`jnl`	Pushdown module checking with imperfect information. Inf. Comput. Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre, Moshe Y. Vardi
2013	J	`jnl`	Rigorous approximated determinization of weighted automata. Theor. Comput. Sci. Benjamin Aminof, Orna Kupferman, Robby Lampert
2012	J	`jnl`	Improved model checking of hierarchical systems. Inf. Comput. Benjamin Aminof, Orna Kupferman, Aniello Murano
2011	B	`conf`	Formal Analysis of Online Algorithms. ATVA Benjamin Aminof, Orna Kupferman, Robby Lampert
2011	A*	`conf`	Rigorous Approximated Determinization of Weighted Automata. LICS Benjamin Aminof, Orna Kupferman, Robby Lampert
2011	—	`conf`	Synthesis of Hierarchical Systems. FACS Benjamin Aminof, Fabio Mogavero, Aniello Murano
2010	B	`conf`	Improved Model Checking of Hierarchical Systems. VMCAI Benjamin Aminof, Orna Kupferman, Aniello Murano
2010	J	`jnl`	Reasoning about online algorithms with weighted automata. ACM Trans. Algorithms Benjamin Aminof, Orna Kupferman, Robby Lampert
2009	A*	`conf`	Reasoning about online algorithms with weighted automata. SODA Benjamin Aminof, Orna Kupferman, Robby Lampert
2009	—	`—`	Translations among automata on infinite objects and their applications (עם תקציר בעברית ושער נוסף: תרגומים בין סוגים שונים של אוטומטים מעל עצמים אינסופיים ויישומיהם.; תרגומים בין סוגים שונים של אוטומטים מעל עצמים אינסופיים ויישומיהם.). Benjamin Aminof
2008	B	`conf`	On the Relative Succinctness of Nondeterministic Büchi and co-Büchi Word Automata. LPAR Benjamin Aminof, Orna Kupferman, Omer Lev
2008	—	`conf`	µ-calculus Pushdown Module Checking with Imperfect State Information. IFIP TCS Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre
2007	B	`conf`	Pushdown Module Checking with Imperfect Information. CONCUR Benjamin Aminof, Aniello Murano, Moshe Y. Vardi
2006	B	`conf`	On the Succinctness of Nondeterminism. ATVA Benjamin Aminof, Orna Kupferman
2004	B	`conf`	Reasoning About Systems with Transition Fairness. LPAR Benjamin Aminof, Thomas Ball, Orna Kupferman