2019
|
Leofante, Francesco; Ábrahám, Erika; Niemueller, Tim; Lakemeyer, Gerhard; Tacchella, Armando Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics Journal Article Information Systems Frontiers, 2019, ISSN: 1572-9419. Abstract | Links | BibTeX @article{Leofante2019,
title = {Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics},
author = {Francesco Leofante and Erika Ábrahám and Tim Niemueller and Gerhard Lakemeyer and Armando Tacchella},
url = {https://doi.org/10.1007/s10796-018-9858-3},
doi = {10.1007/s10796-018-9858-3},
issn = {1572-9419},
year = {2019},
date = {2019-05-19},
journal = {Information Systems Frontiers},
abstract = {Model-based synthesis allows to generate plans to achieve high-level tasks while satisfying certain properties of interest. However, when such plans are executed on concrete systems, several modeling assumptions may be challenged, jeopardizing their real applicability. This paper presents an integrated system for generating, executing and monitoring optimal-by-construction plans for multi-robot systems. This system unites the power of Optimization Modulo Theories with the flexibility of an on-line executive, providing optimal solutions for high-level task planning, and runtime feedback on their feasibility. After presenting how our system orchestrates static and runtime components, we demonstrate its capabilities using the RoboCup Logistics League as testbed. We do not only present our final solution but also its chronological development, and draw some general observations for the development of OMT-based approaches.},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
Model-based synthesis allows to generate plans to achieve high-level tasks while satisfying certain properties of interest. However, when such plans are executed on concrete systems, several modeling assumptions may be challenged, jeopardizing their real applicability. This paper presents an integrated system for generating, executing and monitoring optimal-by-construction plans for multi-robot systems. This system unites the power of Optimization Modulo Theories with the flexibility of an on-line executive, providing optimal solutions for high-level task planning, and runtime feedback on their feasibility. After presenting how our system orchestrates static and runtime components, we demonstrate its capabilities using the RoboCup Logistics League as testbed. We do not only present our final solution but also its chronological development, and draw some general observations for the development of OMT-based approaches. |
Guidotti, Dario; Leofante, Francesco; Tacchella, Armando; Castellini, Claudio Improving Reliability of Myocontrol Using Formal Verification Journal Article IEEE Transactions on Neural Systems and Rehabilitation Engineering, 2019. Abstract | BibTeX @article{,
title = {Improving Reliability of Myocontrol Using Formal Verification},
author = {Dario Guidotti and Francesco Leofante and Armando Tacchella and Claudio Castellini},
year = {2019},
date = {2019-01-01},
journal = {IEEE Transactions on Neural Systems and Rehabilitation Engineering},
abstract = {In the context of assistive robotics, myocontrol is one of the so-far unsolved problems
of upper-limb prosthetics. It consists in swiftly, naturally and reliably converting biosignals, non-invasively gathered from an upper-limb disabled subject, into control commands for an appropriate self-powered prosthetic device.
Despite decades of research, traditional surface electromyography cannot yet detect the
subject's intent to an acceptable degree of reliability, that is, enforce an action
exactly when the subject wants it to be enforced.
In this work we tackle one such kind of mismatch between the subject's intent and the
response by the myocontrol system,
and show that Formal Verification can indeed be used to mitigate it.
Eighteen intact subjects were engaged in
two Target Achievement Control tests in which a standard myocontrol system was compared with
two ``repaired'' ones, one based on a non-formal technique, and thus enforcing no guarantee of
safety, and the other using the Satisfiability Modulo Theories (SMT) technology to rigorously
enforce the desired property.
The experimental results indicate that both repaired systems exhibit better reliability than
the non-repaired one. The SMT-based system causes only a modest increase
in the required computational resources with respect to the non-formal technique; as opposed to
this, the non-formal technique can be easily implemented in existing myocontrol systems, potentially
increasing their reliability.},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
In the context of assistive robotics, myocontrol is one of the so-far unsolved problems
of upper-limb prosthetics. It consists in swiftly, naturally and reliably converting biosignals, non-invasively gathered from an upper-limb disabled subject, into control commands for an appropriate self-powered prosthetic device.
Despite decades of research, traditional surface electromyography cannot yet detect the
subject's intent to an acceptable degree of reliability, that is, enforce an action
exactly when the subject wants it to be enforced.
In this work we tackle one such kind of mismatch between the subject's intent and the
response by the myocontrol system,
and show that Formal Verification can indeed be used to mitigate it.
Eighteen intact subjects were engaged in
two Target Achievement Control tests in which a standard myocontrol system was compared with
two ``repaired'' ones, one based on a non-formal technique, and thus enforcing no guarantee of
safety, and the other using the Satisfiability Modulo Theories (SMT) technology to rigorously
enforce the desired property.
The experimental results indicate that both repaired systems exhibit better reliability than
the non-repaired one. The SMT-based system causes only a modest increase
in the required computational resources with respect to the non-formal technique; as opposed to
this, the non-formal technique can be easily implemented in existing myocontrol systems, potentially
increasing their reliability. |
Guidotti, Dario; Leofante, Francesco; Tacchella, Armando; Castellini, Claudio Repairing Learned Controllers with Convex Optimization: a Case Study Inproceedings Proceedings of Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR), 2019. BibTeX @inproceedings{DBLP:conf/cpaior/GLCT19,
title = {Repairing Learned Controllers with Convex Optimization: a Case Study},
author = {Dario Guidotti and Francesco Leofante and Armando Tacchella and Claudio Castellini},
year = {2019},
date = {2019-01-01},
booktitle = {Proceedings of Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR)},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Leofante, Francesco; Narodytska, Nina; Pulina, Luca; Tacchella, Armando Automated Verification of Neural Networks: Advances, Challenges and Perspectives Inproceedings Verification of Neural Networks (VNN19), AAAI Spring Symposia, Palo Alto, 2019. BibTeX @inproceedings{,
title = {Automated Verification of Neural Networks: Advances, Challenges and Perspectives},
author = {Francesco Leofante and Nina Narodytska and Luca Pulina and Armando Tacchella},
year = {2019},
date = {2019-01-01},
booktitle = {Verification of Neural Networks (VNN19), AAAI Spring Symposia},
address = {Palo Alto},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
2018
|
Narizzano, Massimo; Pulina, Luca; Tacchella, Armando; Vuotto, Simone Consistency of Property Specification Patterns with Boolean and Constrained
Numerical Signals Inproceedings NASA Formal Methods - 10th International Symposium, NFM 2018,
Newport News, VA, USA, April 17-19, 2018, Proceedings, pp. 383–398, 2018. Links | BibTeX @inproceedings{DBLP:conf/nfm/NarizzanoPTV18,
title = {Consistency of Property Specification Patterns with Boolean and Constrained
Numerical Signals},
author = {Massimo Narizzano and Luca Pulina and Armando Tacchella and Simone Vuotto},
url = {https://doi.org/10.1007/978-3-319-77935-5_26},
doi = {10.1007/978-3-319-77935-5_26},
year = {2018},
date = {2018-01-01},
booktitle = {NASA Formal Methods - 10th International Symposium, NFM 2018,
Newport News, VA, USA, April 17-19, 2018, Proceedings},
pages = {383--398},
crossref = {DBLP:conf/nfm/2018},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Leofante, Francesco; á, Erika Ábrah; Tacchella, Armando Task Planning with OMT: An Application to Production Logistics Inproceedings Integrated Formal Methods - 14th International Conference, IFM 2018,
Maynooth, Ireland, September 5-7, 2018, Proceedings, pp. 316–325, 2018. Links | BibTeX @inproceedings{DBLP:conf/ifm/LeofanteAT18,
title = {Task Planning with OMT: An Application to Production Logistics},
author = {Francesco Leofante and Erika Ábrah á and Armando Tacchella},
url = {https://doi.org/10.1007/978-3-319-98938-9_18},
doi = {10.1007/978-3-319-98938-9_18},
year = {2018},
date = {2018-01-01},
booktitle = {Integrated Formal Methods - 14th International Conference, IFM 2018,
Maynooth, Ireland, September 5-7, 2018, Proceedings},
pages = {316--325},
crossref = {DBLP:conf/ifm/2018},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Murino, Giuseppina; Tacchella, Armando Concrete vs. Symbolic Simulation To Assess Cyber-Resilience Of Control
Systems Inproceedings European Conference on Modelling and Simulation, ECMS 2018, Wilhelmshaven,
Germany, May 22-25, 2018, Proceedings, pp. 433–439, 2018. Links | BibTeX @inproceedings{DBLP:conf/ecms/MurinoT18,
title = {Concrete vs. Symbolic Simulation To Assess Cyber-Resilience Of Control
Systems},
author = {Giuseppina Murino and Armando Tacchella},
url = {https://doi.org/10.7148/2018-0433},
doi = {10.7148/2018-0433},
year = {2018},
date = {2018-01-01},
booktitle = {European Conference on Modelling and Simulation, ECMS 2018, Wilhelmshaven,
Germany, May 22-25, 2018, Proceedings},
pages = {433--439},
crossref = {DBLP:conf/ecms/2018},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Pathak, Shashank; Pulina, Luca; Tacchella, Armando Verification and repair of control policies for safe reinforcement
learning Journal Article Appl. Intell., 48 (4), pp. 886–908, 2018. Links | BibTeX @article{DBLP:journals/apin/PathakPT18,
title = {Verification and repair of control policies for safe reinforcement
learning},
author = {Shashank Pathak and Luca Pulina and Armando Tacchella},
url = {https://doi.org/10.1007/s10489-017-0999-8},
doi = {10.1007/s10489-017-0999-8},
year = {2018},
date = {2018-01-01},
journal = {Appl. Intell.},
volume = {48},
number = {4},
pages = {886--908},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Leofante, Francesco Optimal Multi-robot Task Planning: from Synthesis to Execution (and
Back) Inproceedings Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm,
Sweden., pp. 5771–5772, 2018. Links | BibTeX @inproceedings{DBLP:conf/ijcai/Leofante18,
title = {Optimal Multi-robot Task Planning: from Synthesis to Execution (and
Back)},
author = {Francesco Leofante},
url = {https://doi.org/10.24963/ijcai.2018/829},
doi = {10.24963/ijcai.2018/829},
year = {2018},
date = {2018-01-01},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm,
Sweden.},
pages = {5771--5772},
crossref = {DBLP:conf/ijcai/2018},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Giunchiglia, Enrico; Maratea, Marco; Pulina, Luca Translation-based approaches for solving disjunctive temporal problems
with preferences Journal Article Constraints, 23 (4), pp. 383–402, 2018. Links | BibTeX @article{DBLP:journals/constraints/GiunchigliaMP18,
title = {Translation-based approaches for solving disjunctive temporal problems
with preferences},
author = {Enrico Giunchiglia and Marco Maratea and Luca Pulina},
url = {https://doi.org/10.1007/s10601-018-9293-6},
doi = {10.1007/s10601-018-9293-6},
year = {2018},
date = {2018-01-01},
journal = {Constraints},
volume = {23},
number = {4},
pages = {383--402},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
2017
|
Khalili, Ali; Narizzano, Massimo ; Natale, Lorenzo ; Tacchella, Armando Learning middleware models for verification of distributed control
programs Journal Article Robotics and Autonomous Systems, 92 , pp. 139–151, 2017. Links | BibTeX @article{DBLP:journals/ras/KhaliliNNT17,
title = {Learning middleware models for verification of distributed control
programs},
author = {Ali Khalili and
Massimo Narizzano and
Lorenzo Natale and
Armando Tacchella},
url = {https://doi.org/10.1016/j.robot.2017.01.016},
doi = {10.1016/j.robot.2017.01.016},
year = {2017},
date = {2017-01-01},
journal = {Robotics and Autonomous Systems},
volume = {92},
pages = {139--151},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Annunziata, Leopoldo; Menapace, Marco ; Tacchella, Armando Computer Intensive Vs. Heuristic Methods In Automated Design Of Elevator
Systems Inproceedings European Conference on Modelling and Simulation, ECMS 2017, Budapest,
Hungary, May 23-26, 2017, Proceedings., pp. 543–549, 2017. Links | BibTeX @inproceedings{DBLP:conf/ecms/AnnunziataMT17,
title = {Computer Intensive Vs. Heuristic Methods In Automated Design Of Elevator
Systems},
author = {Leopoldo Annunziata and
Marco Menapace and
Armando Tacchella},
url = {https://doi.org/10.7148/2017-0543},
doi = {10.7148/2017-0543},
year = {2017},
date = {2017-01-01},
booktitle = {European Conference on Modelling and Simulation, ECMS 2017, Budapest,
Hungary, May 23-26, 2017, Proceedings.},
pages = {543--549},
crossref = {DBLP:conf/ecms/2017},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Marco, Menapace; Armando, Tacchella Ontologies in System Engineering: a Field Report Inproceedings , Benferhat Salem; , Tabia Karim; Moonis, Ali (Ed.): pp. 502–506, Springer International Publishing, Cham, 2017, ISBN: 978-3-319-60042-0. Abstract | Links | BibTeX @inproceedings{Menapace2017,
title = {Ontologies in System Engineering: a Field Report},
author = {Menapace Marco and Tacchella Armando},
editor = {Benferhat Salem
and Tabia Karim
and Ali Moonis},
url = {https://doi.org/10.1007/978-3-319-60042-0_55},
doi = {10.1007/978-3-319-60042-0_55},
isbn = {978-3-319-60042-0},
year = {2017},
date = {2017-01-01},
pages = {502--506},
publisher = {Springer International Publishing},
address = {Cham},
abstract = {In this paper, we consider four different contributions to system engineering wherein ontologies provide enhancements over traditional techniques.},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
In this paper, we consider four different contributions to system engineering wherein ontologies provide enhancements over traditional techniques. |
Pulina, Luca; Tacchella, Armando More Adaptive Does not Imply Less Safe (with Formal Verification) Inproceedings Hardware and Software: Verification and Testing - 13th International
Haifa Verification Conference, HVC 2017, Haifa, Israel, November
13-15, 2017, Proceedings, pp. 237–240, 2017. Links | BibTeX @inproceedings{DBLP:conf/hvc/PulinaT17,
title = {More Adaptive Does not Imply Less Safe (with Formal Verification)},
author = {Luca Pulina and Armando Tacchella},
url = {https://doi.org/10.1007/978-3-319-70389-3_19},
doi = {10.1007/978-3-319-70389-3_19},
year = {2017},
date = {2017-01-01},
booktitle = {Hardware and Software: Verification and Testing - 13th International
Haifa Verification Conference, HVC 2017, Haifa, Israel, November
13-15, 2017, Proceedings},
pages = {237--240},
crossref = {DBLP:conf/hvc/2017},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Leofante, Francesco; á, Erika Ábrah; Niemueller, Tim; Lakemeyer, Gerhard; Tacchella, Armando On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics
Scenarios via Optimization Modulo Theories Inproceedings 2017 IEEE International Conference on Information Reuse and Integration,
IRI 2017, San Diego, CA, USA, August 4-6, 2017, pp. 403–410, 2017. Links | BibTeX @inproceedings{DBLP:conf/iri/LeofanteANLT17,
title = {On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics
Scenarios via Optimization Modulo Theories},
author = {Francesco Leofante and Erika Ábrah á and Tim Niemueller and Gerhard Lakemeyer and Armando Tacchella},
url = {https://doi.org/10.1109/IRI.2017.67},
doi = {10.1109/IRI.2017.67},
year = {2017},
date = {2017-01-01},
booktitle = {2017 IEEE International Conference on Information Reuse and Integration,
IRI 2017, San Diego, CA, USA, August 4-6, 2017},
pages = {403--410},
crossref = {DBLP:conf/iri/2017},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
2016
|
Cicala, Giuseppe; Luca, Marco De; Oreggia, Marco; Tacchella, Armando A Multi-Formalism Framework To Generate Diagnostic Decision Support Systems Inproceedings 30th European Conference on Modelling and Simulation, ECMS 2016, Regensburg, Germany, May 31 - June 3, 2016, Proceedings., pp. 628–634, 2016. Links | BibTeX @inproceedings{DBLP:conf/ecms/CicalaLOT16,
title = {A Multi-Formalism Framework To Generate Diagnostic Decision Support Systems},
author = {Giuseppe Cicala and Marco De Luca and Marco Oreggia and Armando Tacchella},
url = {http://dx.doi.org/10.7148/2016-0628},
doi = {10.7148/2016-0628},
year = {2016},
date = {2016-01-01},
booktitle = {30th European Conference on Modelling and Simulation, ECMS 2016, Regensburg, Germany, May 31 - June 3, 2016, Proceedings.},
pages = {628--634},
crossref = {DBLP:conf/ecms/2016},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Leofante, Francesco; Tacchella, Armando Learning in Physical Domains: Mating Safety Requirements and Costly
Sampling Inproceedings AI*IA 2016: Advances in Artificial Intelligence - XVth International
Conference of the Italian Association for Artificial Intelligence,
Genova, Italy, November 29 - December 1, 2016, Proceedings, pp. 539–552, 2016. Links | BibTeX @inproceedings{DBLP:conf/aiia/LeofanteT16,
title = {Learning in Physical Domains: Mating Safety Requirements and Costly
Sampling},
author = {Francesco Leofante and
Armando Tacchella},
url = {https://doi.org/10.1007/978-3-319-49130-1_39},
doi = {10.1007/978-3-319-49130-1_39},
year = {2016},
date = {2016-01-01},
booktitle = {AI*IA 2016: Advances in Artificial Intelligence - XVth International
Conference of the Italian Association for Artificial Intelligence,
Genova, Italy, November 29 - December 1, 2016, Proceedings},
pages = {539--552},
crossref = {DBLP:conf/aiia/2016},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Pathak, Shashank; Pulina, Luca; Tacchella, Armando Evaluating probabilistic model checking tools for verification of robot control policies Journal Article AI Commun., 29 (2), pp. 287–299, 2016. Links | BibTeX @article{DBLP:journals/aicom/PathakPT16,
title = {Evaluating probabilistic model checking tools for verification of robot control policies},
author = {Shashank Pathak and Luca Pulina and Armando Tacchella},
url = {http://dx.doi.org/10.3233/AIC-150689},
doi = {10.3233/AIC-150689},
year = {2016},
date = {2016-01-01},
journal = {AI Commun.},
volume = {29},
number = {2},
pages = {287--299},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
2015
|
Arnulfo, Gabriele; Narizzano, Massimo; Cardinale, Francesco; Fato, Marco; Palva, Jaakko Automatic segmentation of deep intracerebral electrodes in computed tomography scans Journal Article BMC Bioinformatics, 16 , pp. 99, 2015. Links | BibTeX @article{DBLP:journals/bmcbi/ArnulfoNCFP15,
title = {Automatic segmentation of deep intracerebral electrodes in computed tomography scans},
author = {Gabriele Arnulfo and Massimo Narizzano and Francesco Cardinale and Marco Fato and Jaakko Palva},
url = {http://dx.doi.org/10.1186/s12859-015-0511-6},
doi = {10.1186/s12859-015-0511-6},
year = {2015},
date = {2015-01-01},
journal = {BMC Bioinformatics},
volume = {16},
pages = {99},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Pathak, Shashank; Pulina, Luca; Tacchella, Armando Testing a Learn-Verify-Repair Approach for Safe Human-Robot Interaction Inproceedings AI*IA 2015, Advances in Artificial Intelligence - XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings, pp. 260–273, 2015. Links | BibTeX @inproceedings{DBLP:conf/aiia/PathakPT15,
title = {Testing a Learn-Verify-Repair Approach for Safe Human-Robot Interaction},
author = {Shashank Pathak and Luca Pulina and Armando Tacchella},
url = {http://dx.doi.org/10.1007/978-3-319-24309-2_20},
doi = {10.1007/978-3-319-24309-2_20},
year = {2015},
date = {2015-01-01},
booktitle = {AI*IA 2015, Advances in Artificial Intelligence - XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings},
pages = {260--273},
crossref = {DBLP:conf/aiia/2015},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Beux, Silvio; Briola, Daniela; Corradi, Andrea; Delzanno, Giorgio; Ferrando, Angelo; Frassetto, Federico; Guerrini, Giovanna; Mascardi, Viviana; Oreggia, Marco; Pozzi, Francesca; Solimando, Alessandro; Tacchella, Armando Computational thinking for beginners: A successful experience using Prolog Inproceedings Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015., pp. 31–45, 2015. Links | BibTeX @inproceedings{DBLP:conf/cilc/BeuxBCDFFGMOPST15,
title = {Computational thinking for beginners: A successful experience using Prolog},
author = {Silvio Beux and Daniela Briola and Andrea Corradi and Giorgio Delzanno and Angelo Ferrando and Federico Frassetto and Giovanna Guerrini and Viviana Mascardi and Marco Oreggia and Francesca Pozzi and Alessandro Solimando and Armando Tacchella},
url = {http://ceur-ws.org/Vol-1459/paper10.pdf},
year = {2015},
date = {2015-01-01},
booktitle = {Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015.},
pages = {31--45},
crossref = {DBLP:conf/cilc/2015},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Khalili, Ali; Narizzano, Massimo; Tacchella, Armando; Giunchiglia, Enrico Automatic Test-Pattern Generation for Grey-Box Programs Inproceedings 10th IEEE/ACM International Workshop on Automation of Software Test, AST 2015, Florence, Italy, May 23-24, 2015, pp. 33–37, 2015. Links | BibTeX @inproceedings{DBLP:conf/icse/KhaliliNTG15,
title = {Automatic Test-Pattern Generation for Grey-Box Programs},
author = {Ali Khalili and Massimo Narizzano and Armando Tacchella and Enrico Giunchiglia},
url = {http://dx.doi.org/10.1109/AST.2015.14},
doi = {10.1109/AST.2015.14},
year = {2015},
date = {2015-01-01},
booktitle = {10th IEEE/ACM International Workshop on Automation of Software Test, AST 2015, Florence, Italy, May 23-24, 2015},
pages = {33--37},
crossref = {DBLP:conf/icse/2015ast},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Pathak, Shashank; Ábrahám, Erika; Jansen, Nils; Tacchella, Armando; Katoen, Joost-Pieter A Greedy Approach for the Efficient Repair of Stochastic Models Inproceedings NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings, pp. 295–309, 2015. Links | BibTeX @inproceedings{DBLP:conf/nfm/PathakAJTK15,
title = {A Greedy Approach for the Efficient Repair of Stochastic Models},
author = {Shashank Pathak and Erika Ábrahám and Nils Jansen and Armando Tacchella and Joost-Pieter Katoen},
url = {http://dx.doi.org/10.1007/978-3-319-17524-9_21},
doi = {10.1007/978-3-319-17524-9_21},
year = {2015},
date = {2015-01-01},
booktitle = {NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings},
pages = {295--309},
crossref = {DBLP:conf/nfm/2015},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
2014
|
Cicala, Giuseppe; Khalili, Ali; Metta, Giorgio; Natale, Lorenzo; Pathak, Shashank; Pulina, Luca; Tacchella, Armando Engineering Approaches and Methods to Verify Software in Autonomous Systems Inproceedings Intelligent Autonomous Systems 13 - Proceedings of the 13th International Conference IAS-13, Padova, Italy, July 15-18, 2014, pp. 1683–1700, 2014. Links | BibTeX @inproceedings{DBLP:conf/ias/CicalaKMNPPT14,
title = {Engineering Approaches and Methods to Verify Software in Autonomous Systems},
author = {Giuseppe Cicala and Ali Khalili and Giorgio Metta and Lorenzo Natale and Shashank Pathak and Luca Pulina and Armando Tacchella},
url = {http://dx.doi.org/10.1007/978-3-319-08338-4_121},
doi = {10.1007/978-3-319-08338-4_121},
year = {2014},
date = {2014-01-01},
booktitle = {Intelligent Autonomous Systems 13 - Proceedings of the 13th International Conference IAS-13, Padova, Italy, July 15-18, 2014},
pages = {1683--1700},
crossref = {DBLP:conf/ias/2014},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Khalili, Ali; Tacchella, Armando Learning Nondeterministic Mealy Machines Inproceedings Proceedings of the 12th International Conference on Grammatical Inference, ICGI 2014, Kyoto, Japan, September 17-19, 2014., pp. 109–123, 2014. Links | BibTeX @inproceedings{DBLP:conf/icgi/KhaliliT14,
title = {Learning Nondeterministic Mealy Machines},
author = {Ali Khalili and Armando Tacchella},
url = {http://jmlr.org/proceedings/papers/v34/khalili14a.html},
year = {2014},
date = {2014-01-01},
booktitle = {Proceedings of the 12th International Conference on Grammatical Inference, ICGI 2014, Kyoto, Japan, September 17-19, 2014.},
pages = {109--123},
crossref = {DBLP:conf/icgi/2014},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Khalili, Ali; Natale, Lorenzo; Tacchella, Armando Reverse Engineering of Middleware for Verification of Robot Control Architectures Inproceedings Simulation, Modeling, and Programming for Autonomous Robots - 4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014. Proceedings, pp. 315–326, 2014. Links | BibTeX @inproceedings{DBLP:conf/simpar/KhaliliNT14,
title = {Reverse Engineering of Middleware for Verification of Robot Control Architectures},
author = {Ali Khalili and Lorenzo Natale and Armando Tacchella},
url = {http://dx.doi.org/10.1007/978-3-319-11900-7_27},
doi = {10.1007/978-3-319-11900-7_27},
year = {2014},
date = {2014-01-01},
booktitle = {Simulation, Modeling, and Programming for Autonomous Robots - 4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014. Proceedings},
pages = {315--326},
crossref = {DBLP:conf/simpar/2014},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Pathak, Shashank; Metta, Giorgio; Tacchella, Armando Is verification a requisite for safe adaptive robots? Inproceedings 2014 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2014, San Diego, CA, USA, October 5-8, 2014, pp. 3399–3402, 2014. Links | BibTeX @inproceedings{DBLP:conf/smc/PathakMT14,
title = {Is verification a requisite for safe adaptive robots?},
author = {Shashank Pathak and Giorgio Metta and Armando Tacchella},
url = {http://dx.doi.org/10.1109/SMC.2014.6974453},
doi = {10.1109/SMC.2014.6974453},
year = {2014},
date = {2014-01-01},
booktitle = {2014 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2014, San Diego, CA, USA, October 5-8, 2014},
pages = {3399--3402},
crossref = {DBLP:conf/smc/2014},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Khalili, Ali; Natale, Lorenzo; Tacchella, Armando Reverse Engineering of Middleware for Verification of Robot Control Architectures Journal Article CoRR, abs/1411.1907 , 2014. Links | BibTeX @article{DBLP:journals/corr/KhaliliNT14,
title = {Reverse Engineering of Middleware for Verification of Robot Control Architectures},
author = {Ali Khalili and Lorenzo Natale and Armando Tacchella},
url = {http://arxiv.org/abs/1411.1907},
year = {2014},
date = {2014-01-01},
journal = {CoRR},
volume = {abs/1411.1907},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
2013
|
Casu, Matteo; Cicala, Giuseppe; Tacchella, Armando Ontology-based data access: An application to intermodal logistics Journal Article Information Systems Frontiers, 15 (5), pp. 849–871, 2013. Links | BibTeX @article{DBLP:journals/isf/CasuCT13,
title = {Ontology-based data access: An application to intermodal logistics},
author = {Matteo Casu and Giuseppe Cicala and Armando Tacchella},
url = {http://dx.doi.org/10.1007/s10796-012-9395-4},
doi = {10.1007/s10796-012-9395-4},
year = {2013},
date = {2013-01-01},
journal = {Information Systems Frontiers},
volume = {15},
number = {5},
pages = {849--871},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Cicala, Giuseppe; Oreggia, Marco; Tacchella, Armando Towards an Ontology-Based Framework to Generate Diagnostic Decision Support Systems Inproceedings AI*IA 2013: Advances in Artificial Intelligence - XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings, pp. 25–36, 2013. Links | BibTeX @inproceedings{DBLP:conf/aiia/CicalaOT13,
title = {Towards an Ontology-Based Framework to Generate Diagnostic Decision Support Systems},
author = {Giuseppe Cicala and Marco Oreggia and Armando Tacchella},
url = {http://dx.doi.org/10.1007/978-3-319-03524-6_3},
doi = {10.1007/978-3-319-03524-6_3},
year = {2013},
date = {2013-01-01},
booktitle = {AI*IA 2013: Advances in Artificial Intelligence - XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings},
pages = {25--36},
crossref = {DBLP:conf/aiia/2013},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Pathak, Shashank; Pulina, Luca; Metta, Giorgio; Tacchella, Armando Ensuring safety of policies learned by reinforcement: Reaching objects in the presence of obstacles with the iCub Inproceedings 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, Tokyo, Japan, November 3-7, 2013, pp. 170–175, 2013. Links | BibTeX @inproceedings{DBLP:conf/iros/PathakPMT13,
title = {Ensuring safety of policies learned by reinforcement: Reaching objects in the presence of obstacles with the iCub},
author = {Shashank Pathak and Luca Pulina and Giorgio Metta and Armando Tacchella},
url = {http://dx.doi.org/10.1109/IROS.2013.6696349},
doi = {10.1109/IROS.2013.6696349},
year = {2013},
date = {2013-01-01},
booktitle = {2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, Tokyo, Japan, November 3-7, 2013},
pages = {170--175},
crossref = {DBLP:conf/iros/2013},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Bourguet, Jean-Rémi; Cicala, Giuseppe; Pulina, Luca; Tacchella, Armando OBDA and Intermodal Logistics: Active Projects and Applications Inproceedings Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings, pp. 210–215, 2013. Links | BibTeX @inproceedings{DBLP:conf/rr/BourguetCPT13,
title = {OBDA and Intermodal Logistics: Active Projects and Applications},
author = {Jean-Rémi Bourguet and Giuseppe Cicala and Luca Pulina and Armando Tacchella},
url = {http://dx.doi.org/10.1007/978-3-642-39666-3_17},
doi = {10.1007/978-3-642-39666-3_17},
year = {2013},
date = {2013-01-01},
booktitle = {Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings},
pages = {210--215},
crossref = {DBLP:conf/rr/2013},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Rosa, Emanuele Di; Giunchiglia, Enrico Combining approaches for solving satisfiability problems with qualitative preferences Journal Article AI Commun., 26 (4), pp. 395–408, 2013. Links | BibTeX @article{DBLP:journals/aicom/RosaG13,
title = {Combining approaches for solving satisfiability problems with qualitative preferences},
author = {Emanuele Di Rosa and Enrico Giunchiglia},
url = {http://dx.doi.org/10.3233/AIC-130575},
doi = {10.3233/AIC-130575},
year = {2013},
date = {2013-01-01},
journal = {AI Commun.},
volume = {26},
number = {4},
pages = {395--408},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Armando, Alessandro; Giunchiglia, Enrico; Maratea, Marco; Ponta, Serena Elisa Modeling and Reasoning about Business Processes under Authorization Constraints: A Planning-Based Approach Inproceedings Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, ICAPS 2013, Rome, Italy, June 10-14, 2013, 2013. Links | BibTeX @inproceedings{DBLP:conf/aips/ArmandoGMP13,
title = {Modeling and Reasoning about Business Processes under Authorization Constraints: A Planning-Based Approach},
author = {Alessandro Armando and Enrico Giunchiglia and Marco Maratea and Serena Elisa Ponta},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS13/paper/view/6033},
year = {2013},
date = {2013-01-01},
booktitle = {Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, ICAPS 2013, Rome, Italy, June 10-14, 2013},
crossref = {DBLP:conf/aips/2013},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Cashmore, Michael; Fox, Maria; Giunchiglia, Enrico Partially Grounded Planning as Quantified Boolean Formula Inproceedings Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, ICAPS 2013, Rome, Italy, June 10-14, 2013, 2013. Links | BibTeX @inproceedings{DBLP:conf/aips/CashmoreFG13,
title = {Partially Grounded Planning as Quantified Boolean Formula},
author = {Michael Cashmore and Maria Fox and Enrico Giunchiglia},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS13/paper/view/5991},
year = {2013},
date = {2013-01-01},
booktitle = {Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, ICAPS 2013, Rome, Italy, June 10-14, 2013},
crossref = {DBLP:conf/aips/2013},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
2012
|
Pulina, Luca; Tacchella, Armando Challenging SMT solvers to verify neural networks Journal Article AI Commun., 25 (2), pp. 117–135, 2012. Links | BibTeX @article{DBLP:journals/aicom/PulinaT12,
title = {Challenging SMT solvers to verify neural networks},
author = {Luca Pulina and Armando Tacchella},
url = {http://dx.doi.org/10.3233/AIC-2012-0525},
doi = {10.3233/AIC-2012-0525},
year = {2012},
date = {2012-01-01},
journal = {AI Commun.},
volume = {25},
number = {2},
pages = {117--135},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Armando, Alessandro; Giunchiglia, Enrico; Maratea, Marco; Ponta, Serena Elisa An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints Journal Article J. Comput. Syst. Sci., 78 (1), pp. 119–141, 2012. Links | BibTeX @article{DBLP:journals/jcss/ArmandoGMP12,
title = {An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints},
author = {Alessandro Armando and Enrico Giunchiglia and Marco Maratea and Serena Elisa Ponta},
url = {http://dx.doi.org/10.1016/j.jcss.2011.02.015},
doi = {10.1016/j.jcss.2011.02.015},
year = {2012},
date = {2012-01-01},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {1},
pages = {119--141},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Giunchiglia, Enrico; Maratea, Marco Algorithms for Solving Satisfiability Problems with Qualitative Preferences Inproceedings Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz, pp. 327–344, 2012. Links | BibTeX @inproceedings{DBLP:conf/birthday/GiunchigliaM12,
title = {Algorithms for Solving Satisfiability Problems with Qualitative Preferences},
author = {Enrico Giunchiglia and Marco Maratea},
url = {http://dx.doi.org/10.1007/978-3-642-30743-0_22},
doi = {10.1007/978-3-642-30743-0_22},
year = {2012},
date = {2012-01-01},
booktitle = {Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz},
pages = {327--344},
crossref = {DBLP:conf/birthday/2012lifschitz},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
2011
|
Lewis, Matthew D T; Schubert, Tobias; Becker, Bernd; Marin, Paolo; Narizzano, Massimo; Giunchiglia, Enrico Parallel QBF Solving with Advanced Knowledge Sharing Journal Article Fundam. Inform., 107 (2-3), pp. 139–166, 2011. Links | BibTeX @article{DBLP:journals/fuin/LewisSBMNG11b,
title = {Parallel QBF Solving with Advanced Knowledge Sharing},
author = {Matthew D. T. Lewis and Tobias Schubert and Bernd Becker and Paolo Marin and Massimo Narizzano and Enrico Giunchiglia},
url = {http://dx.doi.org/10.3233/FI-2011-398},
doi = {10.3233/FI-2011-398},
year = {2011},
date = {2011-01-01},
journal = {Fundam. Inform.},
volume = {107},
number = {2-3},
pages = {139--166},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Pulina, Luca; Tacchella, Armando NeVer: a tool for artificial neural networks verification Journal Article Ann. Math. Artif. Intell., 62 (3-4), pp. 403–425, 2011. Links | BibTeX @article{DBLP:journals/amai/PulinaT11,
title = {NeVer: a tool for artificial neural networks verification},
author = {Luca Pulina and Armando Tacchella},
url = {http://dx.doi.org/10.1007/s10472-011-9243-0},
doi = {10.1007/s10472-011-9243-0},
year = {2011},
date = {2011-01-01},
journal = {Ann. Math. Artif. Intell.},
volume = {62},
number = {3-4},
pages = {403--425},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Pulina, Luca; Tacchella, Armando Checking Safety of Neural Networks with SMT Solvers: A Comparative Evaluation Inproceedings AI*IA 2011: Artificial Intelligence Around Man and Beyond - XIIth International Conference of the Italian Association for Artificial Intelligence, Palermo, Italy, September 15-17, 2011. Proceedings, pp. 127–138, 2011. Links | BibTeX @inproceedings{DBLP:conf/aiia/PulinaT11,
title = {Checking Safety of Neural Networks with SMT Solvers: A Comparative Evaluation},
author = {Luca Pulina and Armando Tacchella},
url = {http://dx.doi.org/10.1007/978-3-642-23954-0_14},
doi = {10.1007/978-3-642-23954-0_14},
year = {2011},
date = {2011-01-01},
booktitle = {AI*IA 2011: Artificial Intelligence Around Man and Beyond - XIIth International Conference of the Italian Association for Artificial Intelligence, Palermo, Italy, September 15-17, 2011. Proceedings},
pages = {127--138},
crossref = {DBLP:conf/aiia/2011},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Casu, Matteo; Tacchella, Armando From Natural Language Definitions to Knowledge Bases Axioms Inproceedings AI*IA 2011: Artificial Intelligence Around Man and Beyond - XIIth International Conference of the Italian Association for Artificial Intelligence, Palermo, Italy, September 15-17, 2011. Proceedings, pp. 445–450, 2011. Links | BibTeX @inproceedings{DBLP:conf/aiia/CasuT11,
title = {From Natural Language Definitions to Knowledge Bases Axioms},
author = {Matteo Casu and Armando Tacchella},
url = {http://dx.doi.org/10.1007/978-3-642-23954-0_45},
doi = {10.1007/978-3-642-23954-0_45},
year = {2011},
date = {2011-01-01},
booktitle = {AI*IA 2011: Artificial Intelligence Around Man and Beyond - XIIth International Conference of the Italian Association for Artificial Intelligence, Palermo, Italy, September 15-17, 2011. Proceedings},
pages = {445--450},
crossref = {DBLP:conf/aiia/2011},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas Journal Article CoRR, abs/1111.0860 , 2011. Links | BibTeX @article{DBLP:journals/corr/abs-1111-0860,
title = {Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas},
author = {Enrico Giunchiglia and Massimo Narizzano and Armando Tacchella},
url = {http://arxiv.org/abs/1111.0860},
year = {2011},
date = {2011-01-01},
journal = {CoRR},
volume = {abs/1111.0860},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Lewis, Matthew D T; Schubert, Tobias; Becker, Bernd; Marin, Paolo; Narizzano, Massimo; Giunchiglia, Enrico Parallel QBF Solving with Advanced Knowledge Sharing Journal Article Fundam. Inform., 107 (2-3), pp. 139–166, 2011. Links | BibTeX @article{DBLP:journals/fuin/LewisSBMNG11,
title = {Parallel QBF Solving with Advanced Knowledge Sharing},
author = {Matthew D. T. Lewis and Tobias Schubert and Bernd Becker and Paolo Marin and Massimo Narizzano and Enrico Giunchiglia},
url = {http://dx.doi.org/10.3233/FI-2011-398},
doi = {10.3233/FI-2011-398},
year = {2011},
date = {2011-01-01},
journal = {Fundam. Inform.},
volume = {107},
number = {2-3},
pages = {139--166},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Giunchiglia, Enrico; Maratea, Marco Introducing Preferences in Planning as Satisfiability Journal Article J. Log. Comput., 21 (2), pp. 205–229, 2011. Links | BibTeX @article{DBLP:journals/logcom/GiunchigliaM11,
title = {Introducing Preferences in Planning as Satisfiability},
author = {Enrico Giunchiglia and Marco Maratea},
url = {http://dx.doi.org/10.1093/logcom/exq023},
doi = {10.1093/logcom/exq023},
year = {2011},
date = {2011-01-01},
journal = {J. Log. Comput.},
volume = {21},
number = {2},
pages = {205--229},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Rosa, Emanuele Di; Giunchiglia, Enrico; O'Sullivan, Barry Optimal stopping methods for finding high quality solutions to satisfiability problems with preferences Inproceedings Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21 - 24, 2011, pp. 901–906, 2011. Links | BibTeX @inproceedings{DBLP:conf/sac/RosaGO11,
title = {Optimal stopping methods for finding high quality solutions to satisfiability problems with preferences},
author = {Emanuele Di Rosa and Enrico Giunchiglia and Barry O'Sullivan},
url = {http://doi.acm.org/10.1145/1982185.1982382},
doi = {10.1145/1982185.1982382},
year = {2011},
date = {2011-01-01},
booktitle = {Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21 - 24, 2011},
pages = {901--906},
crossref = {DBLP:conf/sac/2011},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
2010
|
Angeletti, Damiano; Giunchiglia, Enrico; Narizzano, Massimo; Puddu, Alessandra; Sabina, Salvatore Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting Journal Article J. Autom. Reasoning, 45 (4), pp. 397–414, 2010. Links | BibTeX @article{DBLP:journals/jar/AngelettiGNPS10b,
title = {Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting},
author = {Damiano Angeletti and Enrico Giunchiglia and Massimo Narizzano and Alessandra Puddu and Salvatore Sabina},
url = {http://dx.doi.org/10.1007/s10817-010-9172-3},
doi = {10.1007/s10817-010-9172-3},
year = {2010},
date = {2010-01-01},
journal = {J. Autom. Reasoning},
volume = {45},
number = {4},
pages = {397--414},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Giunchiglia, Enrico; Marin, Paolo; Narizzano, Massimo QuBE7.0 Journal Article JSAT, 7 (2-3), pp. 83–88, 2010. Links | BibTeX @article{DBLP:journals/jsat/GiunchigliaMN10b,
title = {QuBE7.0},
author = {Enrico Giunchiglia and Paolo Marin and Massimo Narizzano},
url = {http://jsat.ewi.tudelft.nl/content/volume7/JSAT7_8_Giunchiglia.pdf},
year = {2010},
date = {2010-01-01},
journal = {JSAT},
volume = {7},
number = {2-3},
pages = {83--88},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Rosa, Emanuele Di; Giunchiglia, Enrico; Narizzano, Massimo; Palma, Gabriele; Puddu, Alessandra Automatic generation of high quality test sets via CBMC Inproceedings 6th International Verification Workshop, VERIFY-2010, Edinburgh, UK, July 20-21, 2010, pp. 65–78, 2010. Links | BibTeX @inproceedings{DBLP:conf/cade/RosaGNPP10b,
title = {Automatic generation of high quality test sets via CBMC},
author = {Emanuele Di Rosa and Enrico Giunchiglia and Massimo Narizzano and Gabriele Palma and Alessandra Puddu},
url = {http://www.easychair.org/publications/?page=751305907},
year = {2010},
date = {2010-01-01},
booktitle = {6th International Verification Workshop, VERIFY-2010, Edinburgh, UK, July 20-21, 2010},
pages = {65--78},
crossref = {DBLP:conf/cade/2010verify},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Giunchiglia, Enrico; Marin, Paolo; Narizzano, Massimo sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning Inproceedings Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings, pp. 85–98, 2010. Links | BibTeX @inproceedings{DBLP:conf/sat/GiunchigliaMN10b,
title = {sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning},
author = {Enrico Giunchiglia and Paolo Marin and Massimo Narizzano},
url = {http://dx.doi.org/10.1007/978-3-642-14186-7_9},
doi = {10.1007/978-3-642-14186-7_9},
year = {2010},
date = {2010-01-01},
booktitle = {Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings},
pages = {85--98},
crossref = {DBLP:conf/sat/2010},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|