Search Results - D'Ippolito, Nicolás

Refine Results
  1. 1
    Synthesizing nonanomalous event-based controllers for liveness goals

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

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis

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

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Control Strategies for Self-Adaptive Software Systems

    Control Strategies for Self-Adaptive Software Systems by 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

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    On-the-fly informed search of non-blocking directed controllers

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

    Published in Automatica (Oxford)
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  5. 5
    Synthesis of live behaviour models for fallible domains

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

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    Interaction Models and Automated Control under Partial Observable Environments

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

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Weak Alphabet Merging of Partial Behavior Models

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

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    Synthesis of event-based controllers: A software engineering challenge

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

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  9. 9
    Control and Discovery of Environment Behaviour

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

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  10. 10
    Compositional Supervisory Control via Reactive Synthesis and Automated Planning

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

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  11. 11
    MTSA: The Modal Transition System Analyser

    MTSA: The Modal Transition System Analyser by D'Ippolito, N., Fischbein, D., Chechik, M., Uchitel, S.

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  12. 12
    Specifying Event-Based Systems with a Counting Fluent Temporal Logic

    Specifying Event-Based Systems with a Counting Fluent Temporal Logic by Regis, German, Degiovanni, Renzo, D'Ippolito, Nicolas, Aguirre, Nazareno

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  13. 13
    Controller synthesis: From modelling to enactment

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

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  14. 14
    Controllability in Partial and Uncertain Environments

    Controllability in Partial and Uncertain Environments by D'Ippolito, Nicolas, Braberman, Victor, Piterman, Nir, Uchitel, Sebastian

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  15. 15
    Multi-tier Automated Planning for Adaptive Behavior (Extended Version)

    Multi-tier Automated Planning for Adaptive Behavior (Extended Version) by Ciolek, Daniel, D'Ippolito, Nicolás, Pozanco, Alberto, Sardina, Sebastian

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  16. 16
    Supporting incremental behaviour model elaboration

    Supporting incremental behaviour model elaboration by Uchitel, Sebastian, Alrajeh, Dalal, Ben-David, Shoham, Braberman, Victor, Chechik, Marsha, De Caso, Guido, D’Ippolito, Nicolas, Fischbein, Dario, Garbervetsky, Diego, Kramer, Jeff, Russo, Alessandra, Sibay, German

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  17. 17
    Synthesis of Run-To-Completion Controllers for Discrete Event Systems

    Synthesis of Run-To-Completion Controllers for Discrete Event Systems by Yehia Abd Alrahman, Braberman, Victor, D'Ippolito, Nicolás, Piterman, Nir, Uchitel, Sebastián

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    Text Sanitization Beyond Specific Domains: Zero-Shot Redaction & Substitution with Large Language Models

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

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  19. 19
    Technical Report: Directed Controller Synthesis of Discrete Event Systems

    Technical Report: Directed Controller Synthesis of Discrete Event Systems by Ciolek, Daniel, Braberman, Victor, D'Ippolito, Nicolás, Uchitel, Sebastián

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  20. 20
    Synthesis of Run-To-Completion Controllers for Discrete Event Systems

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

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: