Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis von D'Ippolito, Nicolás, Rodrı́guez, Natalia, Sardina, Sebastian

Volltext

Interaction Models and Automated Control under Partial Observable Environments von Ciolek, Daniel, Braberman, Victor, DIppolito, Nicolas, Piterman, Nir, Uchitel, Sebastian

Volltext

On-the-fly informed search of non-blocking directed controllers von Ciolek, Daniel, Duran, Matias, Zanollo, Florencia, Pazos, Nicolas, Braier, Julián, Braberman, Victor, D’Ippolito, Nicolas, Uchitel, Sebastian

Volltext

Dynamic Reconfiguration of Business Processes von Nahabedian, Leandro, Braberman, Victor, D’ippolito, Nicolás, Kramer, Jeff, Uchitel, Sebastián

Volltext

Control and Discovery of Environment Behaviour von Keegan, Maureen, Braberman, Victor A., D'Ippolito, Nicolas, Piterman, Nir, Uchitel, Sebastian

Volltext

Weak Alphabet Merging of Partial Behavior Models von Fischbein, Dario, D’Ippolito, Nicolas, Brunet, Greg, Chechik, Marsha, Uchitel, Sebastian

Volltext

Compositional Supervisory Control via Reactive Synthesis and Automated Planning von Ciolek, Daniel Alfredo, Braberman, Victor, D'Ippolito, Nicolas, Sardina, Sebastian, Uchitel, Sebastian

Volltext

Synthesizing nonanomalous event-based controllers for liveness goals von D'ippolito, Nicolás, Braberman, Victor, Piterman, Nir, Uchitel, Sebastián

Volltext

Analysing Distribution Approaches for Efficient Urban Logistics von Salehi, Salar, Ippolito, Nicola, Gentile, Guido, Miristice, Lory Michelle Bresciani

Volltext

Software Engineering Meets Control Theory von Filieri, Antonio, Maggio, Martina, Angelopoulos, Konstantinos, D'Ippolito, Nicolas, Gerostathopoulos, Ilias, Hempel, Andreas Berndt, Hoffmann, Henry, Jamshidi, Pooyan, Kalyvianaki, Evangelia, Klein, Cristian, Krikava, Filip, Misailovic, Sasa, Papadopoulos, Alessandro Vittorio, Ray, Suprio, Sharifloo, Amir M., Shevtsov, Stepan, Ujma, Mateusz, Vogel, Thomas

Volltext bestellen

Control Strategies for Self-Adaptive Software Systems von Filieri, Antonio, Maggio, Martina, Angelopoulos, Konstantinos, D’ippolito, Nicolás, Gerostathopoulos, Ilias, Hempel, Andreas Berndt, Hoffmann, Henry, Jamshidi, Pooyan, Kalyvianaki, Evangelia, Klein, Cristian, Krikava, Filip, Misailovic, Sasa, Papadopoulos, Alessandro V., Ray, Suprio, Sharifloo, Amir M., Shevtsov, Stepan, Ujma, Mateusz, Vogel, Thomas

Volltext

Synthesis of live behaviour models for fallible domains von D'Ippolito, Nicolás, Braberman, Victor, Piterman, Nir, Uchitel, Sebastián

Volltext

Text Sanitization Beyond Specific Domains: Zero-Shot Redaction & Substitution with Large Language Models von Albanese, Federico, Ciolek, Daniel, D'Ippolito, Nicolas

Volltext bestellen

Self-consistent evaluation of quark masses in three flavor crystalline color superconductivity von Ippolito, Nicola D, Nardulli, Giuseppe, Ruggieri, Marco

Volltext

Controller synthesis: From modelling to enactment von Braberman, Victor, D'Ippolito, Nicolas, Piterman, Nir, Sykes, Daniel, Ucriitel, Sebastian

Volltext

Multi-modal and multi-layer robustness analysis of the European rail and air networks von Ippolito, Nicola, Cats, Oded

Volltext

Synthesis of Event-Based Controllers for Software Engineering von D'Ippolito, Nicolas

Volltext bestellen

The Modal Transition System Control Problem von D’Ippolito, Nicolás, Braberman, Victor, Piterman, Nir, Uchitel, Sebastián

Volltext

Revisiting Compatibility of Input-Output Modal Transition Systems von Krka, Ivo, D’Ippolito, Nicolás, Medvidović, Nenad, Uchitel, Sebastián

Volltext

Leaching test procedure for assessing the compliance of the chemical and environmental requirements of hardened woody biomass fly ash cement mixtures von Berra, Mario, Ippolito, Nicolò Maria, Mangialardi, Teresa, Paolini, Antonio Evangelista, Piga, Luigi

Volltext