Author of the publication

CORAL: Solving Complex Constraints for Symbolic PathFinder.

, , , and . NASA Formal Methods, volume 6617 of Lecture Notes in Computer Science, page 359-374. Springer, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Switching Controller Design With Dwell-Times and Sampling., , , and . IEEE Trans. Autom. Control., 62 (11): 5837-5843 (2017)H2 Output-Feedback Cluster Control for Continuous Semi-Markov Jump Linear Systems With Erlang Dwell Times., , , and . IEEE Control. Syst. Lett., (2023)Limitations of Data-Driven Spectral Reconstruction - An Optics-Aware Analysis., , , , , and . CoRR, (2024)Predictability and Fairness in Social Sensing., , , , and . CoRR, (2020)ℋ2 Sampled - Data Filtering of Linear Systems., , and . IEEE Trans. Signal Process., 62 (18): 4839-4846 (2014)ℋ2 state feedback sampled-data control for Markov Jump Linear Systems., , and . CDC, page 4355-4360. IEEE, (2014)ℌ2 self-triggered dynamic output feedback for networked control., and . CDC, page 4736-4741. IEEE, (2013)Modality-Independent Placebo Device for Electrostimulation., , , , , and . I2MTC, page 1-6. IEEE, (2022)SELF: an Easy Way to Perform Acceptance Testing., , , and . SBQS, page 166-179. SBC, (2014)Uma Abordagem para Apoiar Avaliações de Usabilidade em Sistemas Web com base em Mineração de Dados., , , and . SBQS, page 271-285. SBC, (2016)