Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis von D'Ippolito, Nicolás, Rodrı́guez, Natalia, Sardina, 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

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

Volltext

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

Volltext

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

Volltext

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

Volltext

Control and Discovery of Environment Behaviour von Keegan, Maureen, Braberman, Victor A., D'Ippolito, Nicolas, Piterman, Nir, 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

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

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

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

Volltext

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

Volltext

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

Volltext bestellen

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

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

Volltext

Synthesis of event-based controllers: A software engineering challenge von D'Ippolito, N.

Volltext

Synthesis of Run-To-Completion Controllers for Discrete Event Systems von Abd Alrahman, Yehia, Braberman, Victor, D'Ippolito, Nicolas, Piterman, Nir, Uchitel, Sebastian

Volltext bestellen

Alloy+HotCore: A Fast Approximation to Unsat Core von D’Ippolito, Nicolás, Frias, Marcelo F., Galeotti, Juan P., Lanzarotti, Esteban, Mera, Sergio

Volltext