×

zbMATH — the first resource for mathematics

Benerecetti, Massimo

Compute Distance To:
Author ID: benerecetti.massimo Recent zbMATH articles by "Benerecetti, Massimo"
Published as: Benerecetti, Massimo; Benerecetti, M.
External Links: ORCID
Documents Indexed: 25 Publications since 1998, including 1 Book

Publications by Year

Citations contained in zbMATH Open

15 Publications have been cited 40 times in 32 Documents Cited by Year
Model checking multiagent systems. Zbl 0904.68159
Benerecetti, Massimo; Giunchiglia, Fausto; Serafini, Luciano
11
1998
Substructure temporal logic. Zbl 1366.03182
Benerecetti, Massimo; Mogavero, Fabio; Murano, Aniello
6
2013
Automatic synthesis of switching controllers for linear hybrid systems: safety control. Zbl 1294.93041
Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano
5
2013
Reasoning about substructures and games. Zbl 1354.03019
Benerecetti, Massimo; Mogavero, Fabio; Murano, Aniello
4
2015
Solving parity games via priority promotion. Zbl 1390.68332
Benerecetti, Massimo; Dell’Erba, Daniele; Mogavero, Fabio
2
2018
Solving parity games via priority promotion. Zbl 1411.68047
Benerecetti, Massimo; Dell’Erba, Daniele; Mogavero, Fabio
2
2016
Abstraction refinement of linear programs with arrays. Zbl 1186.68275
Armando, Alessandro; Benerecetti, Massimo; Mantovani, Jacopo
2
2007
Reachability games for linear hybrid systems. Zbl 1361.68116
Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano
1
2012
Tracking differentiable trajectories across polyhedra boundaries. Zbl 1361.68115
Benerecetti, Massimo; Faella, Marco
1
2013
Modeling and using context. 2nd international and interdisciplinary conference, CONTEXT ’99, Trento, Italy, September 9–11, 1999. Proceedings. Zbl 0921.00034
Bouquet, Paolo (ed.); Serafini, Luciano (ed.); Brézillon, Patrick (ed.); Benerecetti, Massimo (ed.); Castellani, Francesca (ed.)
1
1999
On the dimensions of context dependence: partiality, approximation, and perspective. Zbl 0986.68808
Benerecetti, Massimo; Bouquet, Paolo; Ghidini, Chiara
1
2001
Contextual reasoning distilled. Zbl 1013.68219
Benerecetti, M.; Bouquet, P.; Ghidini, C.
1
2000
On the dimensions of context dependence. Zbl 1178.68553
Benerecetti, Massimo; Bouquet, Paolo; Ghidini, Chiara
1
2008
Formal specification of beliefs in multi-agent systems. Zbl 0937.68113
Benerecetti, Massimo; Giunchiglia, Enrico; Serafini, Luciano; Villafiorita, Adolfo
1
1999
Robust worst cases for parity games algorithms. Zbl 1443.68067
Benerecetti, Massimo; Dell’Erba, Daniele; Mogavero, Fabio
1
2020
Robust worst cases for parity games algorithms. Zbl 1443.68067
Benerecetti, Massimo; Dell’Erba, Daniele; Mogavero, Fabio
1
2020
Solving parity games via priority promotion. Zbl 1390.68332
Benerecetti, Massimo; Dell’Erba, Daniele; Mogavero, Fabio
2
2018
Solving parity games via priority promotion. Zbl 1411.68047
Benerecetti, Massimo; Dell’Erba, Daniele; Mogavero, Fabio
2
2016
Reasoning about substructures and games. Zbl 1354.03019
Benerecetti, Massimo; Mogavero, Fabio; Murano, Aniello
4
2015
Substructure temporal logic. Zbl 1366.03182
Benerecetti, Massimo; Mogavero, Fabio; Murano, Aniello
6
2013
Automatic synthesis of switching controllers for linear hybrid systems: safety control. Zbl 1294.93041
Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano
5
2013
Tracking differentiable trajectories across polyhedra boundaries. Zbl 1361.68115
Benerecetti, Massimo; Faella, Marco
1
2013
Reachability games for linear hybrid systems. Zbl 1361.68116
Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano
1
2012
On the dimensions of context dependence. Zbl 1178.68553
Benerecetti, Massimo; Bouquet, Paolo; Ghidini, Chiara
1
2008
Abstraction refinement of linear programs with arrays. Zbl 1186.68275
Armando, Alessandro; Benerecetti, Massimo; Mantovani, Jacopo
2
2007
On the dimensions of context dependence: partiality, approximation, and perspective. Zbl 0986.68808
Benerecetti, Massimo; Bouquet, Paolo; Ghidini, Chiara
1
2001
Contextual reasoning distilled. Zbl 1013.68219
Benerecetti, M.; Bouquet, P.; Ghidini, C.
1
2000
Modeling and using context. 2nd international and interdisciplinary conference, CONTEXT ’99, Trento, Italy, September 9–11, 1999. Proceedings. Zbl 0921.00034
Bouquet, Paolo; Serafini, Luciano; Brézillon, Patrick; Benerecetti, Massimo; Castellani, Francesca
1
1999
Formal specification of beliefs in multi-agent systems. Zbl 0937.68113
Benerecetti, Massimo; Giunchiglia, Enrico; Serafini, Luciano; Villafiorita, Adolfo
1
1999
Model checking multiagent systems. Zbl 0904.68159
Benerecetti, Massimo; Giunchiglia, Fausto; Serafini, Luciano
11
1998

Citations by Year